scientific article; zbMATH DE number 3413815
From MaRDI portal
Publication:5678429
zbMath0262.68020MaRDI QIDQ5678429
Serafino Amoroso, Stephen L. Bloom
Publication date: 1971
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) General topics in the theory of software (68N01) Computability and recursion theory (03D99) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
This page was built for publication: