Solving goals in equational languages
- 1 January 1988
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Refined strategies for semantic unificationPublished by Springer Nature ,2005
- Simplifying conditional term rewriting systems : Unification, termination and confluenceJournal of Symbolic Computation, 1987
- Strategy-controlled reduction and narrowingPublished by Springer Nature ,1987
- Improving basic narrowing techniquesPublished by Springer Nature ,1987
- RRL: A rewrite rule laboratoryPublished by Springer Nature ,1986
- NARROWER: a new algorithm for unification and its application to Logic ProgrammingLecture Notes in Computer Science, 1985
- Canonical Forms and Unification.Published by Defense Technical Information Center (DTIC) ,1980