Publication:3824386
From MaRDI portal
zbMath0671.03005MaRDI QIDQ3824386
Publication date: 1988
03D05: Automata and formal grammars in connection with logical questions
03B25: Decidability of theories and sets of sentences
Related Items