Articles liés à Conditional Term Rewriting Systems: Third International...

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

L'édition de cet ISBN n'est malheureusement plus disponible.

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