A proof-theoretic characterization of the basic feasible functionals
Work
Year: 2004
Type: article
Source: Theoretical Computer Science
Author Thomas Strahm
Institution University of Bern
Cites: 34
Cited by: 12
Related to: 10
FWCI: 0.323
Citation percentile (by year/subfield): 75.54
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze