Publication:3515227

DOI10.25596/jalc-2007-545zbMath1149.68399MaRDI QIDQ3515227

Johannes Waldmann

Publication date: 29 July 2008

zbMATH Keywords

well-founded semi-rings

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68Q70: Algebraic theory of languages and automata

68Q42: Grammars and rewriting systems

Related Items

Arctic Termination ...Below Zero, Automatic Termination

Uses Software

• Matchbox