scientific article; zbMATH DE number 408802
From MaRDI portal
Publication:4202947
zbMath0819.68073MaRDI QIDQ4202947
Publication date: 6 September 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Automata and formal grammars in connection with logical questions (03D05) Applications of universal algebra in computer science (08A70) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)
Related Items (5)
Algebraic notions of nontermination: Omega and divergence in idempotent semirings ⋮ Partial Derivatives for Context-Free Languages ⋮ Sequencing and intermediate acceptance: Axiomatisation and decidability of bisimilarity ⋮ Determinization of inverted grammar programs via context-free expressions ⋮ Algebraically complete semirings and Greibach normal form
This page was built for publication:
