scientific article; zbMATH DE number 3365234
From MaRDI portal
Publication:5638297
zbMath0231.02056MaRDI QIDQ5638297
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)
Related Items (7)
On translations of temporal logic of actions into monadic second-order logic ⋮ Multilevel synthesis of structured programs ⋮ Inverse monoids and rational Schreier subsets of the free group ⋮ Recursive information transducers: Computation models ⋮ Automata techniques for query inference machines ⋮ Finite queries do not have effective syntax. ⋮ Finite variability interpretation of monadic logic of order
This page was built for publication:
