Collapsed tree rewriting: Completeness, confluence, and modularity

This publication has 14 references indexed in Scilit:

• Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming
  Theoretical Computer Science, 1993
• Implementing term rewriting by jungle evaluation
  RAIRO - Theoretical Informatics and Applications, 1991
• On confluence for weakly normalizing systems
  Published by Springer Nature ,1991
• Rewrite Systems
  Published by Elsevier ,1990
• Termersetzungssysteme
  Informatik-Fachberichte, 1989
• Counterexamples to termination for the direct sum of term rewriting systems
  Information Processing Letters, 1987
• Term graph rewriting
  Published by Springer Nature ,1987
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
  Journal of the ACM, 1980
• Computing in systems described by equations
  Lecture Notes in Computer Science, 1977
• On the Structure of Abstract Algebras
  Mathematical Proceedings of the Cambridge Philosophical Society, 1935