scientific article; zbMATH DE number 3372029

zbMath0235.02034MaRDI QIDQ5643969

James W. Thatcher

Publication date: 1970

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

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Turing machines and related notions (03D10)

Related Items

Concurrent program schemes and their logics, Local constraints in programming languages. I: Syntax, On a class of PCA with size-3 neighborhood and their applications in percolation games, The copying power of one-state tree transducers, The metalogic of economic predictions, calculations and propositions, Parallel realization of systems, using factorizations and quotients in categories, Automaton introspection, A note on the representation of finite tree automata, Tree pushdown automata