Pages that link to "Item:Q1977488"
From MaRDI portal
The following pages link to A bounded arithmetic AID for Frege systems (Q1977488):
Displaying 11 items.
- On theories of bounded arithmetic for \(\mathrm{NC}^1\) (Q638497) (← links)
- The equivalence of theories that characterize ALogTime (Q834715) (← links)
- Function-algebraic characterizations of log and polylog parallel time (Q1332666) (← links)
- Tractability of cut-free Gentzen-type propositional calculus with permutation inference. II (Q1575637) (← links)
- Equational fragments of systems for arithmetic. (Q1771883) (← links)
- Expander construction in \(\mathrm{VNC}^1\) (Q2187260) (← links)
- Polynomal-size Frege proofs of Bollobás' theorem on the trace of sets (Q2378659) (← links)
- Quantified propositional calculus and a second-order theory for NC\(^{\text \textbf{1}}\) (Q2388433) (← links)
- Expander Construction in VNC1 (Q4638081) (← links)
- (Q4694224) (← links)
- The NP Search Problems of Frege and Extended Frege Proofs (Q5278209) (← links)