Paper Info
Title
Church-Rosser Property and Unique Normal Form Property of Non-Duplicating Term Rewriting Systems
Abstract
We propose a new type of conditional term rewriting systems: left-right separated conditional term rewriting systems, in which the left-hand side and the right-hand side of a rewrite rule have separate variables. By developing a concept of weight decreasing joinability we first present a sufficient condition for the Church-Rosser property of left-right separated conditional term rewriting systems which may have overlapping rewrite rules. We next apply this result to show sufficient conditions for the unique normal form property and the Church-Rosser property of unconditional term rewriting systems which are non-duplicating, non-left-linear, and overlapping.
Year
DOI
Venue
1994
10.1007/3-540-60381-6_19
CTRS
Keywords
DocType
Volume
Church-Rosser Property,Unique Normal Form Property,Non-Duplicating Term Rewriting Systems
Conference
968
ISSN
ISBN
Citations 
0302-9743
3-540-60381-6
13
PageRank 
References 
Authors
0.83
5
2
Name
Order
Citations
PageRank
Yoshihito Toyama153349.60
Michio Oyamaguchi213815.62