Conditional Term Rewriting Systems: Third International Workshop, Ctrs-92 Pont-A-Mousson, France, July 8-10, 1992 Proceedings - Couverture souple

Rusinowitch, M.

 
9780387563930: Conditional Term Rewriting Systems: Third International Workshop, Ctrs-92 Pont-A-Mousson, France, July 8-10, 1992 Proceedings
Couverture souple
ISBN 10 : 0387563938 ISBN 13 : 9780387563930
Editeur : Springer Verlag, 1993

Synopsis

Conditional Term Rewriting Systems This volume contains the papers presented at the third International Workshop on Conditional Term Rewriting Systems. Topics covered include conditional rewriting and its applications to programming languages, specification languages, automated deduction and constrained rewriting. Full description

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer Verlag
Date d'édition
1993
Langue
anglais
ISBN 10 
0387563938
ISBN 13 
9780387563930
Reliure
Broché
Éditeur
Remy J. L.
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9783540563938: Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings

Edition présentée

ISBN 10 :  3540563938 ISBN 13 :  9783540563938
Editeur : Springer, 2008
Couverture souple