Pages that link to "Item:Q5311529"
From MaRDI portal
The following pages link to Parameterized and Exact Computation (Q5311529):
Displaying 6 items.
- Trees, grids, and MSO decidability: from graphs to matroids (Q820150) (← links)
- On axiomatizability of the class of finitary matroids and decidability of their universal theory (Q2212712) (← links)
- Branch-width, parse trees, and monadic second-order logic for matroids. (Q2490835) (← links)
- IS THE MISSING AXIOM OF MATROID THEORY LOST FOREVER? (Q2939482) (← links)
- Connection Matrices for MSOL-Definable Structural Invariants (Q3601800) (← links)
- Yes, the “missing axiom” of matroid theory is lost forever (Q4642529) (← links)