Innocuous Constructor-Sharing Combinations

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 left-linear and convergent.

• Type: Conference
• Year: 1997
• Where: RTA
• Authors: Nachum Dershowitz
• Keywords: Hierarchical Combinations, Rewrite Systems, RTA 1997, Theoretical Computer Science