Adding constants to string rewriting

DOI10.1007/s00200-008-0060-6zbMath1154.68062OpenAlexW2134671032MaRDI QIDQ945008

Jürgen Giesl, Peter Schneider-Kamp, René Thiemann, Hans Zantema

Publication date: 10 September 2008

Published in: Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00200-008-0060-6

zbMATH Keywords

confluenceterminationterm rewritingstring rewriting

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42)

Uses Software

• AProVE

Cites Work

• Termination of string rewriting proved automatically
• Termination of term rewriting using dependency pairs
• Term Rewriting and All That
• Logic for Programming, Artificial Intelligence, and Reasoning
• Unnamed Item

This page was built for publication: Adding constants to string rewriting