Publication:4934326
From MaRDI portal
zbMath0945.68107MaRDI QIDQ4934326
Martin Kutrib, Thomas Buchholz, Andreas G. Klein
Publication date: 3 October 2000
68Q45: Formal languages and automata
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)