scientific article; zbMATH DE number 3563057
From MaRDI portal
Publication:4135489
zbMath0362.02034MaRDI QIDQ4135489
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Turing machines and related notions (03D10)
Related Items (2)
Provenance Circuits for Trees and Treelike Instances ⋮ Evaluating Datalog via tree automata and cycluits
This page was built for publication: