Completion-time optimization of rewrite-time goal solving

Publisher Website

1 January 1989

book chapter
Published by Springer Nature

p. 45-58
https://doi.org/10.1007/3-540-51081-8_99

Abstract

No abstract available

Keywords

This publication has 5 references indexed in Scilit:

Order-sorted completion: The many-sorted way
Published by Springer Nature ,1989
Computing in Horn Clause Theories
Published by Springer Nature ,1988
Fair Conditional Term Rewriting Systems: Unification, Termination and Confluence
Published by Springer Nature ,1985
Equality, types, modules, and (why not?) generics for logic programming
The Journal of Logic Programming, 1984
Canonical Forms and Unification.
Published by Defense Technical Information Center (DTIC) ,1980