The following pages link to (Q4525286):
Displaying 8 items.
- Generalized hex and logical characterizations of polynomial space (Q287159) (← links)
- Expressing uniformity via oracles (Q1361886) (← links)
- Directions in generalized quantifier theory (Q1908858) (← links)
- A logic-based approach to incremental reasoning on multi-agent systems (Q2089459) (← links)
- Oracles and Advice as Measurements (Q3543332) (← links)
- Logics with Zero-One Laws that Are Not Fragments of Bounded-Variable Infinitary Logic (Q4336698) (← links)
- Capturing complexity classes with Lindström quantifiers (Q5096870) (← links)
- Logics capturing relativized complexity classes uniformly (Q6064295) (← links)