The following pages link to (Q4474837):
Displaying 16 items.
- Existential MSO over two successors is strictly weaker than over linear orders (Q837190) (← links)
- The monadic second-order logic of graphs. V: On closing the gap between definability and recognizability (Q1176232) (← links)
- The monadic second-order logic of graphs. X: Linear orderings (Q1366538) (← links)
- Monadic second-order logic on tree-like structures (Q1606130) (← links)
- Monadic second-order definable graph orderings (Q2871227) (← links)
- Asymptotic Monadic Second-Order Logic (Q2922005) (← links)
- Monadic Second-Order Logic with Arbitrary Monadic Predicates (Q2922023) (← links)
- Fusion in relational structures and the verification of monadic second-order properties (Q3146251) (← links)
- On Monadic Second-Order Theories of Multidominance Structures (Q3585001) (← links)
- (Q3787992) (← links)
- Monadic Second Order Logic with Measure and Category Quantifiers (Q4637695) (← links)
- (Q4783334) (← links)
- Monadic Second-Order Logic and Transitive Closure Logics over Trees (Q4917997) (← links)
- (Q4993769) (← links)
- Bisimulation Invariant Monadic-Second Order Logic in the Finite (Q5002802) (← links)
- Quantitative Monadic Second-Order Logic (Q5271046) (← links)
