Pages that link to "Item:Q5431334"
From MaRDI portal
The following pages link to Mathematical Foundations of Computer Science 2003 (Q5431334):
Displaying 10 items.
- Decomposition width of matroids (Q415290) (← links)
- Monadic second-order model-checking on decomposable matroids (Q548278) (← links)
- Trees, grids, and MSO decidability: from graphs to matroids (Q820150) (← links)
- Vertex-minors, monadic second-order logic, and a conjecture by Seese (Q858683) (← links)
- Tree automata and pigeonhole classes of matroids. I (Q2149094) (← links)
- Branch-width, parse trees, and monadic second-order logic for matroids. (Q2490835) (← links)
- Graph decompositions definable in monadic second-order logic (Q3439302) (← links)
- A Simpler Self-reduction Algorithm for Matroid Path-Width (Q4569568) (← links)
- Yes, the “missing axiom” of matroid theory is lost forever (Q4642529) (← links)
- Matrices of Optimal Tree-Depth and a Row-Invariant Parameterized Algorithm for Integer Programming (Q5864669) (← links)
