The following pages link to The closure of monadic NP (Q1577017):
Displaying 9 items.
- On the expressive power of monadic least fixed point logic (Q817849) (← links)
- On monadic NP vs monadic co-NP (Q1898480) (← links)
- Parameterized complexity classes beyond para-NP (Q2396719) (← links)
- Existential Second-order Logic over Graphs: A Complete Complexity-theoretic Classification (Q2955035) (← links)
- Subclasses of binary NP (Q4399718) (← links)
- Monadic Second Order Logic And Its Fragments (Q4923546) (← links)
- An Experimental Study of the Treewidth of Real-World Graph Data (Q5091123) (← links)
- Expressing properties in second- and third-order logic: hypercube graphs and SATQBF (Q5176677) (← links)
- Existential second-order logic over graphs (Q5501192) (← links)