Pages that link to "Item:Q930912"
From MaRDI portal
The following pages link to On the structure of graphs in the Caucal hierarchy (Q930912):
Displaying 5 items.
- Simple monadic theories and partition width (Q3170562) (← links)
- FO Model Checking on Nested Pushdown Trees (Q3182946) (← links)
- Model Transformations in Decidability Proofs for Monadic Theories (Q3540168) (← links)
- Order-theoretic Trees: Monadic Second-order Descriptions and Regularity (Q5038567) (← links)
- (Q5119391) (← links)