141
Voted
RTA
15 years 4 months ago
1991 Springer 
Narrowing provides a complete procedure to solve equations modulo confluent and terminating rewriting systems. But it seldom terminates. This paper presents a method to improve th...
95
Voted
RTA
15 years 4 months ago
1991 Springer 
A term rewriting system is called complete if it is both confluent and strongly norrealizing. Barendregt and Klop showed that the disjoint union of complete term rewriting systems...
|
Theoretical Computer Science