On narrowing, refutation proofs and constraints

Publisher Website

1 January 1995

book chapter
Published by Springer Nature

p. 56-70
https://doi.org/10.1007/3-540-59200-8_47

Abstract

No abstract available

Keywords

This publication has 7 references indexed in Scilit:

LSE narrowing for decreasing conditional term rewrite systems
Published by Springer Nature ,1995
Rewrite-based Equational Theorem Proving with Selection and Simplification
Journal of Logic and Computation, 1994
A precedence-based total AC-compatible ordering
Published by Springer Nature ,1993
Basic narrowing revisited
Journal of Symbolic Computation, 1989
Foundations of Equational Logic Programming
Published by Springer Nature ,1989
Narrowing vs. SLD-resolution
Theoretical Computer Science, 1988
Canonical Forms and Unification.
Published by Defense Technical Information Center (DTIC) ,1980