Combining lazy narrowing and simplification
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 370-384
- https://doi.org/10.1007/3-540-58402-1_26
Abstract
No abstract availableKeywords
This publication has 29 references indexed in Scilit:
- Definitional treesPublished by Springer Nature ,2005
- On completeness of narrowing strategiesPublished by Springer Nature ,2005
- A needed narrowing strategyPublished by Association for Computing Machinery (ACM) ,1994
- Uniform narrowing strategiesPublished by Springer Nature ,1992
- Kernel-LEAF: A logic plus functional languageJournal of Computer and System Sciences, 1991
- The implementation of lazy narrowingPublished by Springer Nature ,1991
- Rewrite SystemsPublished by Elsevier ,1990
- Equation solving in conditional AC-theoriesPublished by Springer Nature ,1990
- Narrowing and unification in functional programming —An evaluation mechanism for absolute set abstractionPublished by Springer Nature ,1989
- Termination of rewritingJournal of Symbolic Computation, 1987