The following pages link to (Q3827989):
Displaying 12 items.
- Gap-languages and log-time complexity classes (Q1389651) (← links)
- Applicative theories for logarithmic complexity classes (Q2346995) (← links)
- Possibilistic logic: Complexity and algorithms (Q2752126) (← links)
- Complexity Classifications for Logic-Based Argumentation (Q2946726) (← links)
- Parameterized Complexity Classes under Logical Reductions (Q3182930) (← links)
- (Q3348391) (← links)
- (Q3681934) (← links)
- (Q4029601) (← links)
- The complexity of revising logic programs (Q4262832) (← links)
- Logics for complexity classes (Q4644504) (← links)
- On the Floyd–Warshall algorithm for logic programs (Q4719377) (← links)
- Logics which capture complexity classes over the reals (Q5055931) (← links)