scientific article
From MaRDI portal
Publication:3694724
zbMath0575.68083MaRDI QIDQ3694724
No author found.
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Abstract data types; algebraic specification (68Q65) Decidability of theories and sets of sentences (03B25)
Related Items (6)
About fair asynchrony ⋮ The equational logic of fixed points ⋮ On infinitary finite length codes ⋮ Minimal generators of submonoids of $A^\infty $ ⋮ Equivalence of infinite behavior of finite automata ⋮ Towards a formal proof system for \(\omega\)-rational expressions
This page was built for publication:
