Pages that link to "Item:Q705069"
From MaRDI portal
The following pages link to Generalized model-checking over locally tree-decomposable classes (Q705069):
Displaying 8 items.
- Compact labelings for efficient first-order model-checking (Q626458) (← links)
- A fixed-parameter perspective on \#BIS (Q2272593) (← links)
- Counting edge-injective homomorphisms and matchings on restricted graph classes (Q2321927) (← links)
- Efficient First-Order Model-Checking Using Short Labels (Q3507329) (← links)
- (Q5009461) (← links)
- (Q5091010) (← links)
- (Q5111872) (← links)
- Enumeration for FO Queries over Nowhere Dense Graphs (Q5889796) (← links)
