scientific article
From MaRDI portal
Publication:3726092
zbMath0595.03025MaRDI QIDQ3726092
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Abstract data types; algebraic specification (68Q65) Classical propositional logic (03B05) General logic (03B99)
This page was built for publication: