There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book Chapter

Publication date (Print): 1980

Pages: 349-405

DOI: 10.1016/B978-0-12-115350-2.50017-8

SO-VID: 1a86511d-5feb-4769-9a7a-4aff8d684d89

License:

https://www.elsevier.com/tdm/userlicense/1.0/

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 29

Explicit substitutions
Authors: P.-L. Curien, L. Cardelli, J.-J. Lévy …
Tree Languages
Authors: Ferenc Gécseg, Magnus Steinby
The Syntax and Semantics of μCRL
Authors: Jan Groote, Alban Ponse

See all cited by

Equations and Rewrite Rules: A Survey

Read this book at