scientific article; zbMATH DE number 3510287
From MaRDI portal
Publication:4090322
zbMATH Open0326.02036MaRDI QIDQ4090322FDOQ4090322
Authors: Albert R. Meyer 
Publication date: 1975
Title of this publication is not available (Why is that?)
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)
Cited In (26)
- Logical aspects of Cayley-graphs: the group case
- Decision procedures for inductive Boolean functions based on alternating automata
- Nested antichains for WS1S
- On decidability properties of local sentences
- The complexity of the temporal logic with ``until over general linear time
- The most nonelementary theory
- Inverse monoids: decidability and complexity of algebraic questions.
- Title not available (Why is that?)
- An improved lower bound for the elementary theories of trees
- A Practical Approach to Courcelle's Theorem
- Mathematical modal logic: A view of its evolution
- Complexity results for classes of quantificational formulas
- From Monadic Logic to PSL
- A Kleene theorem and model checking algorithms for existentially bounded communicating automata
- wMSO theories as grammar formalisms
- Decidability of the Clark's completion semantics for monadic programs and queries
- Logic, semigroups and automata on words
- Process logic: Expressiveness, decidability, completeness
- A link between multioperator and tree valuation automata and logics
- Automata-theoretic techniques for modal logics of programs
- A logic of reachable patterns in linked data-structures
- The complementation problem for Büchi automata with applications to temporal logic
- Exact complexity bounds for ordinal addition
- Bounded-width QBF is PSPACE-complete
- Ehrenfeucht games and ordinal addition
- Lazy automata techniques for WS1S
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 Q4090322)
