Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Bernhard Gramlich. Termination and confluence: properties of structured rewrite systems. PhD thesis, Kaiserslautern University of Technology, Germany, 1996. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: On Modularity of Termination and Confluence Properties of Conditional Rewrite SystemsBernhard Gramlich. icalp 1994: 186-203 Abstract Relations between Restricted Termination and Confluence Properties of Rewrite SystemsBernhard Gramlich. FUIN, 24(1/2):2-23, 1995. On Termination and Confluence Properties of Disjoint and Constructor-Sharing Conditional Rewrite SystemsBernhard Gramlich. TCS, 165(1):97-131, 1996. [doi] On Termination and Confluence of Conditional Rewrite SystemsBernhard Gramlich. ctrs 1995: 166-185
The following publications are possibly variants of this publication: