The following pages link to (Q3140635):
Displaying 8 items.
- Conservative fragments of \({{S}^{1}_{2}}\) and \({{R}^{1}_{2}}\) (Q535152) (← links)
- Tractability of cut-free Gentzen type propositional calculus with permutation inference (Q672046) (← links)
- The equivalence of theories that characterize ALogTime (Q834715) (← links)
- Function-algebraic characterizations of log and polylog parallel time (Q1332666) (← links)
- A bounded arithmetic AID for Frege systems (Q1977488) (← links)
- On a Theory for AC0 and the Strength of the Induction Scheme (Q4210843) (← links)
- On the finite axiomatizability of (Q5109206) (← links)
- A note on the relation between polynomial time functionals and Constable's class \(\mathcal K\) (Q6560166) (← links)
