Abstract rewriting
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 178-192
- https://doi.org/10.1007/3-540-57264-3_39
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Compiling logic programs with equalityPublished by Springer Nature ,2005
- Abstract interpretation and application to logic programsThe Journal of Logic Programming, 1992
- Logic programming with functions and predicates: The language BabelThe Journal of Logic Programming, 1992
- Solving goals in equational languagesPublished by Springer Nature ,1988
- Design and implementation of a generic, logic and functional programming languagePublished by Springer Nature ,1986
- Canonical Forms and Unification.Published by Defense Technical Information Center (DTIC) ,1980