scientific article; zbMATH DE number 1047921
From MaRDI portal
Publication:4348001
zbMath0874.08002MaRDI QIDQ4348001
Gheorghe Ştefănescu, L. Bernátsky, Zoltán Ésik, Stephen L. Bloom
Publication date: 12 August 1997
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) Algebraic theory of languages and automata (68Q70) Decidability of theories and sets of sentences (03B25) Free algebras (08B20)
Related Items (5)
Axiomatizing the equational theory of regular tree languages ⋮ The equational logic of fixed points ⋮ Models of nondeterministic regular expressions ⋮ Algebraically complete semirings and Greibach normal form ⋮ A Finite Axiomatization of Nondeterministic Regular Expressions
This page was built for publication:
