scientific article
From MaRDI portal
Publication:3222190
zbMath0557.03039MaRDI QIDQ3222190
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Automata and formal grammars in connection with logical questions (03D05) Metamathematics of constructive systems (03F50)
This page was built for publication: