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

First Order Bounded Arithmetic and Small Boolean Circuit Complexity Classes

1995 ◽  
pp. 154-218 ◽  
Author(s):  
Peter Clote ◽  
Gaisi Takeuti
Keyword(s):  
Circuit Complexity ◽  
Complexity Classes ◽  
Bounded Arithmetic ◽  
Boolean Circuit ◽  
First Order

On Frege and Extended Frege Proof Systems

1995 ◽  
pp. 284-319 ◽  
Author(s):  
Jan Krajíček
Keyword(s):  
Proof Systems

The Complexity of Feasible Interpretability

1995 ◽  
pp. 429-447
Author(s):  
Rineke Verbrugge

scholarly journals Are there Hard Examples for Frege Systems?

1995 ◽  
pp. 30-56 ◽  
Author(s):  
Maria Luisa Bonet ◽  
Samuel R. Buss ◽  
Toniann Pitassi
Keyword(s):  
Frege Systems

Effective Properties of Finitely Generated R.E. Algebras

1995 ◽  
pp. 256-283
Author(s):  
Bakhadyr Khoussainov ◽  
Anil Nerode
Keyword(s):  
Effective Properties ◽  
Finitely Generated

On Proving Lower Bounds for Circuit Size

1995 ◽  
pp. 245-255 ◽  
Author(s):  
Mauricio Karchmer
Keyword(s):  
Lower Bounds

Feasibly Categorical Abelian Groups

1995 ◽  
pp. 91-153 ◽  
Author(s):  
Douglas Cenzer ◽  
Jeffrey Remmel
Keyword(s):  
Abelian Groups

Turing Machine Characterizations of Feasible Functionals of All Finite Types

1995 ◽  
pp. 407-428 ◽  
Author(s):  
Anil Seth
Keyword(s):  
Turing Machine

Predicative Recursion and The Polytime Hierarchy

1995 ◽  
pp. 15-29 ◽  
Author(s):  
Stephen Bellantoni
Load More ...
Sign in / Sign up

Export Citation Format

Share Document