94 search results - page 6 / 19 » Confluence of Conditional Rewrite Systems |
102
Voted
JFLP
2002
15 years 4 days ago
2002
In this paper we extend the lazy narrowing calculus lnc of Middeldorp, Okui, and Ida [26] to conditional rewrite systems. The resulting lazy conditional narrowing calculus lcnc is...
113
Voted
AGP
1994
IEEE
15 years 4 months ago
1994
IEEE
This paper considers compositions of conditional term rewriting systems as a basis for a modular approach to the design and analysis of equational logic programs. In this context,...
CORR
2006
Springer
15 years 15 days ago
2006
Springer
In a previous work, the first author extended to higher-order rewriting and dependent types the use of size annotations in types, a termination proof technique called type or size ...
93
Voted
JLP
2010
14 years 7 months ago
2010
RTA
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. We investigate conditions under which con uence and or termination are preserved for constructor-sharing and hierarchical combinations of rewrite systems, one of which is...