Generalizing Newman’s Lemma for Left-Linear Rewrite Systems

DOI10.1007/11805618_6zbMath1151.68445OpenAlexW1576547969MaRDI QIDQ3527284

Salvador Lucas, Bernhard Gramlich

Publication date: 25 September 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11805618_6

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (3)

Decreasing diagrams and relative termination ⋮ Confluence by Decreasing Diagrams ⋮ Decreasing Diagrams and Relative Termination

This page was built for publication: Generalizing Newman’s Lemma for Left-Linear Rewrite Systems