|
110
|
Feasibly constructive proofs and the propositional calculus
– Stephen A Cook
- 1975
|
|
27
|
RSUV isomorphism
– G Takeuti
- 1993
|
|
56
|
Notes on Polynomially Bounded Arithmetic
– Domenico Zambella
|
|
106
|
Bounded Arithmetic. Bibliopolis
– Samual Buss
- 1986
|
|
21
|
On Frege and Extended Frege Proof Systems
– Jan Krajicek
- 1993
|
|
25
|
Axiomatizations and Conservation Results for Fragments of Bounded Arithmetic
– Samuel R. Buss
- 1990
|
|
190
|
Bounded arithmetic, propositional logic, and complexity theory
– Jan Krajíček
- 1995
|
|
31
|
Quanti propositional calculi and fragments of Bounded Arithmetic, Zeitschrift f. math. Logik und Grundlagen d
– J Krajcek, P Pudlak
- 1990
|
|
90
|
Metamathematics of first-order arithmetic
– Petr Hájek, Pavel Pudlák
- 1993
|
|
77
|
Counting problems in bounded arithmetic
– J Paris, A Wilkie
- 1985
|
|
56
|
Bounded arithmetic and the polynomial hierarchy, APAL 52
– J Krajíček, P Pudlák, G Takeuti
- 1991
|
|
11
|
Relating the provable collapse of P to NC 1 and the power of logical theories
– Stephen A Cook
- 1998
|
|
34
|
Witnessing Functions in Bounded Arithmetic and Search Problems
– Mario Chiari, Jan Krajicek
- 1994
|
|
11
|
A bounded arithmetic AID for Frege systems
– Toshiyasu Arai
|
|
45
|
Bounded Arithmetic and Lower Bounds in Boolean Complexity
– Alexander A. Razborov
- 1993
|
|
109
|
The complexity of the pigeonhole principle
– M Ajtai
- 1988
|
|
27
|
Relating the Bounded Arithmetic and Polynomial Time Hierarchies
– Samuel R. Buss, Then T
- 1994
|
|
88
|
Sigma 1 formulae on finite structures
– M Ajtai
|
|
18
|
Provably Total Functions in Bounded Arithmetic Theories . . .
– Samuel Buss, J. Kpajfcek, P. Pudlk, G. Takeuti, Bounded Arithmetic
- 1992
|
