Pages that link to "Item:Q1919763"
From MaRDI portal
The following pages link to Normal forms for second-order logic over finite structures, and classification of NP optimization problems (Q1919763):
Displayed 6 items.
- On the complexity of data disjunctions. (Q1853503) (← links)
- The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey (Q3586006) (← links)
- On the expressiveness of frame satisfiability and fragments of second-order logic (Q4391423) (← links)
- Expressiveness of Logic Programs under the General Stable Model Semantics (Q5278207) (← links)
- Truth definitions in finite models (Q5311718) (← links)
- Abstraction for non-ground answer set programs (Q5919127) (← links)