The following pages link to (Q4375787):
Displaying 4 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)
- Tractability of cut-free Gentzen-type propositional calculus with permutation inference. II (Q1575637) (← links)
- A bounded arithmetic AID for Frege systems (Q1977488) (← links)
