Asymptotic Monadic Second-Order Logic

DOI10.1007/978-3-662-44522-8_8MaRDI QIDQ2922005zbMATH OpenOpenAlexFDO

Authors Achim Blumensath, Olivier Carton, Thomas Colcombet

Publication date 14 October 2014

Published in Mathematical Foundations of Computer Science 2014 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-44522-8_8

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Automata and formal grammars in connection with logical questions (03D05) Higher-order logic (03B16)

Recommendations

• Quantitative Monadic Second-Order Logic
• Monadic Second Order Logic And Its Fragments
• scientific article; zbMATH DE number 2079025
• Second-order propositional modal logic and monadic alternation hierarchies
• Monadic second-order logic on finite sequences
• scientific article; zbMATH DE number 2038747
• Computability by monadic second-order logic
• scientific article; zbMATH DE number 7360013

Cites work

• scientific article; zbMATH DE number 3237829 (Why is no real title available?)
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Deterministic automata and extensions of weak MSO
• On the decidability of MSO+U on infinite trees
• Rabin's uniformization problem
• Regular cost functions. I: Logic and algebra over words
• The Theory of Stabilisation Monoids and Regular Cost Functions
• The finite graph problem for two-way alternating automata.
• The monadic theory of order
• The topological complexity of MSO+U and related automata models
• Topological model theory
• Weak MSO with the unbounding quantifier
• Weak \(\text{MSO}+U\) over infinite trees

Cited in

(10)

• scientific article; zbMATH DE number 3904567 (Why is no real title available?)
• scientific article; zbMATH DE number 7360013 (Why is no real title available?)
• scientific article; zbMATH DE number 7168148 (Why is no real title available?)
• Quantitative Monadic Second-Order Logic
• On a fragment of AMSO and tiling systems
• Bisimulation Invariant Monadic-Second Order Logic in the Finite
• scientific article; zbMATH DE number 2079025 (Why is no real title available?)
• Monadic Second Order Logic with Measure and Category Quantifiers
• Computability by monadic second-order logic
• Bisimulation invariant monadic-second order logic in the finite

This page was built for publication: Asymptotic Monadic Second-Order Logic

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