Can I read Term Graph Rewriting : Theory and Practice on EtoBox?

Term Graph Rewriting : Theory and Practice by M.R. Sleep and M.J. Plasmeijer and M.C.J.D. van Eekelen is a book available to read on EtoBox.

What is Term Graph Rewriting : Theory and Practice about?

1. An Introduction To Term Graph Rewriting / J. R. Kennaway, J. W. Klop, M. R. Sleep And F. J. De Vries -- 2. Partial Type Assignment In Left Linear Applicative Term Rewriting Systems / S. Van Bakel, S. Smetsers And S. Brock -- 3. How To Get Confluence For Explicit Substitutions / T. Hardin -- 4. An Infinitary Church-rosser Property For Non-collapsing Orthogonal Term Rewriting Systems / J. R. Kennaway, J. W. Klop, M. R. Sleep And F. J. De Vries -- 5. The Functional Strategy And Transitive Term Rewriting Systems / Y. Toyama, S. Smetsers, M. C. J. D. Van Eekelen And M. J. Plasmeijer -- 6. Graph Rewriting Systems For Efficient Compilation / Z. M. Ariola And Arvind -- 7. A Fibration Semantics For Extended Term Graph Rewriting / R. Banach -- 8. A New Term Graph Rewriting Formalism : Hyperedge Replacement Jungle Rewriting / A. Corradini And F. Rossi -- 9. Abstract Reduction: Towards A Theory Via Abstract Interpretation / M. C. J. D. Van Eekelen, E. Goubault, C. L. Hankin And E. Nocker --^ 10. A Lattice For The Abstract Interpretation Of Term Graph Rewriting Systems / E. Goubault And C. L. Hankin -- 11. Event Structures And Orthogonal Term Graph Rewriting / J. R. Kennaway, J. W. Klop, M.

Author

M.R. Sleep and M.J. Plasmeijer and M.C.J.D. van Eekelen

Publisher

John Wiley & Sons Ltd.

Published

1993

Language

EN

ISBN

9780471935674

Subjects

Computer Science, Mathematics, Language Learning