A compiler for a class of conditional term rewriting systems
- 1 January 1988
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- A compiler for conditional term rewriting systemsPublished by Springer Nature ,1987
- Principles of OBJ2Published by Association for Computing Machinery (ACM) ,1985
- On hierarchies of abstract data typesActa Informatica, 1983