Publication:4033499

zbMath0792.68071MaRDI QIDQ4033499

Kai Salomaa

Publication date: 16 May 1993

zbMATH Keywords

confluence; ground confluence; monadic term rewriting systems

Mathematics Subject Classification ID

68Q45: Formal languages and automata

03D05: Automata and formal grammars in connection with logical questions

68Q42: Grammars and rewriting systems