Polynomially Bounded Recursive Realizability
Work
Year: 2005
Type: article
Abstract: A polynomially bounded recursive realizability, in which the recursive functions used in Kleene's realizability are restricted to polynomially bounded functions, is introduced. It is used to show that... more
Author Saeed Salehi
Institution University of Notre Dame
Cites: 15
Cited by: 3
Related to: 10
FWCI:
Citation percentile (by year/subfield): 54.27
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze