zbMath1096.68643MaRDI QIDQ5485987
Stefan Gärtner
Publication date: 6 September 2006
Mathematics Subject Classification ID
68Q45: Formal languages and automata
68Q42: Grammars and rewriting systems