Publication:4035234
From MaRDI portal
zbMath0777.68057MaRDI QIDQ4035234
Volker Diekert, Paul Gastin, Antoine Petit
Publication date: 18 May 1993
68Q45: Formal languages and automata
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
Related Items
On the concatenation of infinite traces, An extension of Kleene's and Ochmański's theorems to infinite traces, Recognizable trace languages, distributed automata and the distribution problem, The word problem for \(1\mathcal{LC}\) congruences is NP-hard.