Pages that link to "Item:Q408375"
From MaRDI portal
The following pages link to Courcelle's theorem -- a game-theoretic approach (Q408375):
Displaying 7 items.
- On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity (Q272014) (← links)
- Courcelle's theorem for triangulations (Q346450) (← links)
- Confronting intractability via parameters (Q465686) (← links)
- Practical algorithms for MSO model-checking on tree-decomposable graphs (Q473216) (← links)
- Simplified algorithmic metatheorems beyond MSO: treewidth and neighborhood diversity (Q1687933) (← links)
- Fly-automata for checking \(\mathrm{MSO}_2\) graph properties (Q1752502) (← links)
- Computations by fly-automata beyond monadic second-order logic (Q5964015) (← links)
