A completion procedure for conditional equations

Publisher Website

1 January 1988

book chapter
Published by Springer Nature

p. 62-83
https://doi.org/10.1007/3-540-19242-5_6

Abstract

No abstract available

Keywords

This publication has 6 references indexed in Scilit:

Ground term confluence in parametric conditional equational specifications
Published by Springer Nature ,2006
Contextual rewriting
Lecture Notes in Computer Science, 1985
Fair Conditional Term Rewriting Systems: Unification, Termination and Confluence
Published by Springer Nature ,1985
Conditional rewrite rules
Theoretical Computer Science, 1984
A criterion for eliminating unnecessary reductions in the Knuth-Bendix algorithm
ACM SIGSAM Bulletin, 1983
Proving termination with multiset orderings
Communications of the ACM, 1979