Publication:3694724
From MaRDI portal
zbMath0575.68083MaRDI QIDQ3694724
No author found.
Publication date: 1985
68Q45: Formal languages and automata
03D05: Automata and formal grammars in connection with logical questions
68Q65: Abstract data types; algebraic specification
03B25: Decidability of theories and sets of sentences
Related Items
Minimal generators of submonoids of $A^\infty $, Equivalence of infinite behavior of finite automata, Towards a formal proof system for \(\omega\)-rational expressions, About fair asynchrony, The equational logic of fixed points, On infinitary finite length codes