Paper Info
Title
On Equivalence Transformations for Term Rewriting Systems
Abstract
This paper proposes some simple methods, based on the Church-Rosser property, for testing the equivalence in a restricted domain of two reduction systems. Using the Church-Rosser property, sufficient conditions for the equivalence of abstract reduction systems are proved. These conditions can be effectively applied to test the equivalence in a restricted domain of term rewriting systems. In addition, equivalence transformation rules for term rewriting systems are proposed.
Year
DOI
Venue
1984
10.1007/3-540-16470-7_3
Proceedings of the 1983 and 1984 RIMS Symposia on Software Science and Engineering II
Keywords
Field
DocType
equivalence transformation,term rewriting systems,equivalence transformations
Algebra,Computer science,Equivalence (measure theory),Rewriting,Confluence
Conference
ISBN
Citations 
PageRank 
3-540-16470-7
1
0.39
References 
Authors
5
1
Name
Order
Citations
PageRank
Yoshihito Toyama153349.60