Publication:4202947
From MaRDI portal
zbMath0819.68073MaRDI QIDQ4202947
Publication date: 6 September 1993
03D05: Automata and formal grammars in connection with logical questions
08A70: Applications of universal algebra in computer science
68Q55: Semantics in the theory of computing
68Q65: Abstract data types; algebraic specification
Related Items
Sequencing and intermediate acceptance: Axiomatisation and decidability of bisimilarity, Algebraic notions of nontermination: Omega and divergence in idempotent semirings, Algebraically complete semirings and Greibach normal form, Determinization of inverted grammar programs via context-free expressions, Partial Derivatives for Context-Free Languages