scientific article; zbMATH DE number 3595168

zbMath0383.03025MaRDI QIDQ4163519

Alex Häußler

Publication date: 1976

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Complexity of computation (including implicit computational complexity) (03D15) Classical propositional logic (03B05) Turing machines and related notions (03D10)

Related Items

Complexity of Subcases of Presburger Arithmetic