scientific article
From MaRDI portal
Publication:3086920
zbMath1244.03050MaRDI QIDQ3086920
Achim Blumensath, Thomas Colcombet, Christof Löding
Publication date: 30 March 2011
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 (13)
Solving Infinite Games in the Baire Space ⋮ Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change ⋮ Recursion Schemes and the WMSO+U Logic ⋮ Bisimulation invariant monadic-second order logic in the finite ⋮ Regularity Equals Monadic Second-Order Definability for Quasi-trees ⋮ Feferman-vaught decompositions for prefix classes of first order logic ⋮ Model Transformations in Decidability Proofs for Monadic Theories ⋮ Bisimulation Invariant Monadic-Second Order Logic in the Finite ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Decidable Expansions of Labelled Linear Orderings ⋮ Unnamed Item ⋮ The factorisation forest theorem
This page was built for publication:
