The following pages link to (Q3000099):
Displaying 10 items.
- The computational complexity of ideal semantics (Q1045987) (← links)
- Computational complexity of terminological reasoning in BACK (Q1104128) (← links)
- Possibilistic logic: Complexity and algorithms (Q2752126) (← links)
- Expressing versus proving: relating forms of complexity in logic (Q2882560) (← links)
- (Q3393869) (← links)
- (Q3827989) (← links)
- (Q4362929) (← links)
- Logics for complexity classes (Q4644504) (← links)
- Circuit complexity and the expressive power of generalized first-order formulas (Q5204302) (← links)
- Logical operations and Kolmogorov complexity (Q5958286) (← links)