Pages that link to "Item:Q2955035"
From MaRDI portal
The following pages link to Existential Second-order Logic over Graphs: A Complete Complexity-theoretic Classification (Q2955035):
Displaying 5 items.
- A gentle introduction to applications of algorithmic metatheorems for space and circuit classes (Q1736808) (← links)
- Complexity of syntactical tree fragments of independence-friendly logic (Q2003922) (← links)
- Existential second-order logic over strings (Q4406309) (← links)
- Expressing properties in second- and third-order logic: hypercube graphs and SATQBF (Q5176677) (← links)
- Existential second-order logic over graphs (Q5501192) (← links)