Pages that link to "Item:Q3521904"
From MaRDI portal
The following pages link to Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects (Q3521904):
Displayed 7 items.
- Courcelle's theorem -- a game-theoretic approach (Q408375) (← links)
- Treewidth and logical definability of graph products (Q1006041) (← links)
- The Stackelberg minimum spanning tree game on planar and bounded-treewidth graphs (Q1945700) (← links)
- $\mathbb F$ -Rank-Width of (Edge-Colored) Graphs (Q3014938) (← links)
- Logics and Automata for Totally Ordered Trees (Q3522020) (← links)
- An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning (Q5918962) (← links)
- An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning (Q5925549) (← links)