scientific article; zbMATH DE number 2079025

MaRDI QIDQ4474837zbMATH OpenFDO

Authors Bruno Courcelle

Publication date 21 July 2004

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Total orders (06A05) Formal languages and automata (68Q45) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• Monadic second-order logic on finite sequences
• Monadic Second Order Logic And Its Fragments
• Interpreting second-order logic in the monadic theory of order
• scientific article; zbMATH DE number 2038747
• Monadic second order logic on tree-like structures
• Asymptotic Monadic Second-Order Logic
• The monadic second-order logic of graphs. X: Linear orderings
• Monadic second-order logic on tree-like structures

Cited in

(15)

• The monadic second-order logic of graphs. V: On closing the gap between definability and recognizability
• The monadic second-order logic of graphs. X: Linear orderings
• Monadic second-order logic on tree-like structures
• Monadic second-order definable graph orderings
• Asymptotic Monadic Second-Order Logic
• Fusion in relational structures and the verification of monadic second-order properties
• On Monadic Second-Order Theories of Multidominance Structures
• scientific article; zbMATH DE number 4051591 (Why is no real title available?)
• Monadic Second Order Logic with Measure and Category Quantifiers
• scientific article; zbMATH DE number 1841846 (Why is no real title available?)
• Monadic Second-Order Logic and Transitive Closure Logics over Trees
• scientific article; zbMATH DE number 7360013 (Why is no real title available?)
• Bisimulation Invariant Monadic-Second Order Logic in the Finite
• Quantitative Monadic Second-Order Logic
• Existential MSO over two successors is strictly weaker than over linear orders

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 Q4474837)