The following pages link to (Q3140640):
Displaying 8 items.
- The equivalence of theories that characterize ALogTime (Q834715) (← links)
- A second-order system for polytime reasoning based on Grädel's theorem. (Q1412837) (← links)
- Quantified propositional calculus and a second-order theory for NC\(^{\text \textbf{1}}\) (Q2388433) (← links)
- An independence result on weak second order bounded arithmetic (Q2720322) (← links)
- On End‐Extensions of Models of ¬exp (Q4868237) (← links)
- (Q5005174) (← links)
- Criticality of regular formulas (Q5091751) (← links)
- Complexity barriers as independence (Q6599290) (← links)