Pages that link to "Item:Q1193408"
From MaRDI portal
The following pages link to Capturing complexity classes by fragments of second-order logic (Q1193408):
Displayed 11 items.
- Quantified constraint satisfaction and the polynomially generated powers property (Q539977) (← links)
- Expressive power and abstraction in Essence (Q941820) (← links)
- On the complexity of single-rule datalog queries. (Q1401945) (← links)
- A second-order system for polytime reasoning based on Grädel's theorem. (Q1412837) (← links)
- Arithmetical definability and computational complexity (Q1885035) (← links)
- Syntactic expressions to express NP-hard optimization problems and problems with zero duality gap (Q2868930) (← links)
- Quantified Constraint Satisfaction and the Polynomially Generated Powers Property (Q3519502) (← links)
- 2000 Annual Meeting of the Association for Symbolic Logic (Q4527937) (← links)
- Tailoring recursion for complexity (Q4858828) (← links)
- Complexity and expressive power of second‐order extended Horn logic (Q4915214) (← links)
- Rewriting Conjunctive Queries over Description Logic Knowledge Bases (Q5504588) (← links)