Asymptotic Monadic Second-Order Logic
From MaRDI portal
Publication:2922005
DOI10.1007/978-3-662-44522-8_8zbMath1426.03011OpenAlexW160577732MaRDI QIDQ2922005
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
Analysis of algorithms and problem complexity (68Q25) Automata and formal grammars in connection with logical questions (03D05) Higher-order logic (03B16)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Topological model theory
- The monadic theory of order
- The finite graph problem for two-way alternating automata.
- Regular Cost Functions, Part I: Logic and Algebra over Words
- Rabin's uniformization problem
- The Theory of Stabilisation Monoids and Regular Cost Functions
- On the Decidability of MSO+U on Infinite Trees
- Weak MSO with the Unbounding Quantifier
- Decidability of Second-Order Theories and Automata on Infinite Trees