Feasible Mathematics II
Latest Publications

TOTAL DOCUMENTS

15

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Birkhäuser Boston

9781461275824, 9781461225669

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Complexity of Feasible Interpretability

Feasible Mathematics II ◽

10.1007/978-1-4612-2566-9_15 ◽

1995 ◽

pp. 429-447

Author(s):

Rineke Verbrugge

Download Full-text

Are there Hard Examples for Frege Systems?

Feasible Mathematics II ◽

10.1007/978-1-4612-2566-9_3 ◽

1995 ◽

pp. 30-56 ◽

Author(s):

Maria Luisa Bonet ◽

Samuel R. Buss ◽

Toniann Pitassi

Keyword(s):

Download Full-text

First Order Bounded Arithmetic and Small Boolean Circuit Complexity Classes

Feasible Mathematics II ◽

10.1007/978-1-4612-2566-9_6 ◽

1995 ◽

pp. 154-218 ◽

Author(s):

Peter Clote ◽

Gaisi Takeuti

Keyword(s):

Circuit Complexity ◽

Complexity Classes ◽

Bounded Arithmetic ◽

Boolean Circuit ◽

Download Full-text

On Frege and Extended Frege Proof Systems

Feasible Mathematics II ◽

10.1007/978-1-4612-2566-9_10 ◽

1995 ◽

pp. 284-319 ◽

Author(s):

Jan Krajíček

Keyword(s):

Download Full-text

Effective Properties of Finitely Generated R.E. Algebras

Feasible Mathematics II ◽

10.1007/978-1-4612-2566-9_9 ◽

1995 ◽

pp. 256-283

Author(s):

Bakhadyr Khoussainov ◽

Anil Nerode

Keyword(s):

Effective Properties ◽

Finitely Generated

Download Full-text

On Proving Lower Bounds for Circuit Size

Feasible Mathematics II ◽

10.1007/978-1-4612-2566-9_8 ◽

1995 ◽

pp. 245-255 ◽

Author(s):

Mauricio Karchmer

Keyword(s):

Download Full-text

Feasibly Categorical Abelian Groups

Feasible Mathematics II ◽

10.1007/978-1-4612-2566-9_5 ◽

1995 ◽

pp. 91-153 ◽

Author(s):

Douglas Cenzer ◽

Jeffrey Remmel

Keyword(s):

Download Full-text

Turing Machine Characterizations of Feasible Functionals of All Finite Types

Feasible Mathematics II ◽

10.1007/978-1-4612-2566-9_14 ◽

1995 ◽

pp. 407-428 ◽

Author(s):

Anil Seth

Keyword(s):

Download Full-text

On Gödel’s Theorems on Lengths of Proofs II: Lower Bounds for Recognizing k Symbol Provability

Feasible Mathematics II ◽

10.1007/978-1-4612-2566-9_4 ◽

1995 ◽

pp. 57-90 ◽

Author(s):

Samuel R. Buss

Keyword(s):

Download Full-text

Ordinal Bounds for Programs

Feasible Mathematics II ◽

10.1007/978-1-4612-2566-9_13 ◽

1995 ◽

pp. 387-406 ◽

Author(s):

Helmut Schwichtenberg ◽

Stanley S. Wainer

Download Full-text