Feasible Mathematics
Latest Publications

TOTAL DOCUMENTS

18
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Birkhäuser Boston

9780817634834, 9781461234661
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On Bounded ∑ 1 1 Polynomial Induction

1990 ◽  
pp. 259-280 ◽  
Author(s):  
Jan Krajíček ◽  
Gaisi Takeuti

Bounded Linear Logic: A Modular Approach to Polynomial Time Computability

1990 ◽  
pp. 195-209 ◽  
Author(s):  
Jean-Yves Girard ◽  
Andre Scedrov ◽  
Philip J. Scott
Keyword(s):  
Polynomial Time ◽  
Linear Logic ◽  
Modular Approach ◽  
Bounded Linear

Complexity-Theoretic Algebra: Vector Space Bases

1990 ◽  
pp. 293-319 ◽  
Author(s):  
Anil Nerode ◽  
J. B. Remmel
Keyword(s):  
Vector Space

Probabilities of sentences about two linear orderings

1990 ◽  
pp. 181-193 ◽  
Author(s):  
John Foy ◽  
Alan R. Woods
Keyword(s):  
Linear Orderings

Functional Interpretations of Feasibly Constructive Arithmetic Abstract

1990 ◽  
pp. 97-98
Author(s):  
Stephen Cook ◽  
Alasdair Urquhart

Stockmeyer induction

1990 ◽  
pp. 161-180 ◽  
Author(s):  
Fernando Ferreira
Load More ...
Sign in / Sign up

Export Citation Format

Share Document