Architecture for conditional term rewriting
- 1 January 1988
- book chapter
- Published by Springer Nature
- p. 266-278
- https://doi.org/10.1007/3-540-19242-5_24
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- The design of a rewrite rule interpreter from algebraic specificationsSoftware Engineering Journal, 1987
- Principles of OBJ2Published by Association for Computing Machinery (ACM) ,1985
- Equations and Rewrite Rules: A SurveyPublished by Elsevier ,1980