Publication:4375630
From MaRDI portal
zbMath0886.03032MaRDI QIDQ4375630
Publication date: 10 May 1998
68Q45: Formal languages and automata
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
03D05: Automata and formal grammars in connection with logical questions
68Q55: Semantics in the theory of computing
Related Items
A Finite Axiomatization of Nondeterministic Regular Expressions, An equational axiomatization for multi-exit iteration, Termination modulo equations by abstract commutation with an application to iteration, Bisimilarity of open terms.