Implementation and Application of Automata

DOI10.1007/b105090zbMath1115.68433OpenAlexW4302765085WikidataQ56387363 ScholiaQ56387363MaRDI QIDQ5463973

Johannes Waldmann, Alfons Geser, Dieter Hofbauer, Hans Zantema

Publication date: 17 August 2005

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

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

Mathematics Subject Classification ID

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

Related Items

Termination of string rewriting proved automatically, Match-bounded string rewriting systems

Uses Software

• AProVE
• Matchbox
• TORPA