scientific article
From MaRDI portal
Publication:3919696
zbMath0467.03037MaRDI QIDQ3919696
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15)
This page was built for publication: