Pages that link to "Item:Q2986803"
From MaRDI portal
The following pages link to Where First-Order and Monadic Second-Order Logic Coincide (Q2986803):
Displaying 7 items.
- Algorithmic uses of the Feferman-Vaught theorem (Q598280) (← links)
- On low tree-depth decompositions (Q897253) (← links)
- Capturing MSO with One Quantifier (Q2947170) (← links)
- (Q4625695) (← links)
- RECURSIVE AXIOMATISATIONS FROM SEPARATION PROPERTIES (Q5015731) (← links)
- A Unified Approach to Structural Limits and Limits of Graphs with Bounded Tree-Depth (Q5108706) (← links)
- Where First-Order and Monadic Second-Order Logic Coincide (Q5278195) (← links)