Term Graph Rewriting: Theory and Practice - Couverture rigide

Couverture rigide

ISBN 10 : 0471935670 ISBN 13 : 9780471935674

Editeur : John Wiley & Sons Ltd, 1993

Synopsis

Charting the progress of the theory, implementation and applications of rewriting models of computation, this study represents a key resource for researchers. A major feature of the book is the presentation of theoretical advances such as a new theory of transfinite term rewriting, a single pushout categorical model of graph rewriting and an abstract interpretation for term graph rewriting.

Détails de l'édition

• Éditeur: John Wiley & Sons Ltd
• Date d'édition: 1993
• Langue: anglais
• ISBN 10: 0471935670
• ISBN 13: 9780471935674
• Reliure: Relié
• Nombre de pages: 400
• Éditeur: Sleep M.R., Etc., Plasmeijer M.J., Van Eekelen M.C.J.
• Coordonnées du fabricant: non disponible
• Personne responsable: non disponible