scientific article; zbMATH DE number 3372029

MaRDI QIDQ5643969zbMATH OpenFDO

Authors James W. Thatcher

Publication date 1970

Mathematics Subject Classification ID

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

Cited in

(9)

• Tree pushdown automata
• Concurrent program schemes and their logics
• Local constraints in programming languages. I: Syntax
• 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
• On a class of PCA with size-3 neighborhood and their applications in percolation games

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5643969)