Get started
Keyword

recursive functions

Description: Recursive functions are functions defined through base cases and rules that compute their values by applying the function to earlier inputs.
Wikidata ID: wiki/Q284164
OpenAlex ID: keywords/recursive-functions
Theory of Recursive Functions and Effective Computability.
1969 · Solomon Feferman, Hartley Rogers · American Mathematical Monthly · 2,788
Theory of Recursive Functions and Effective Computability
1969 · D. C. Cooper · The Computer Journal · 2,539
Theory of Recursive Functions and Effective Computability
1987 · Jr. Hartley Rogers · CERN Document Server (European Organization for Nuclear Research) · 1,987
Recursive functions of symbolic expressions and their computation by machine, Part I
1960 · John McCarthy · Communications of the ACM · 1,388
PDF
On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
1989 · Lenore Blum, Mike Shub, et al. · Bulletin of the American Mathematical Society · 1,056
PDF
Computability and Unsolvability.
1959 · C. Elgot, Martin Davis · Mathematical Tables and Other Aids to Computation · 980
Computability in Analysis and Physics
1989 · Marian Boykan Pour-El, J. Ian Richards · Perspectives in mathematical logic · 925
On the Length of Programs for Computing Finite Binary Sequences
1966 · Gregory J. Chaitin · Journal of the ACM · 914
PDF
Recursively enumerable sets of positive integers and their decision problems
1944 · Emil L. Post · Bulletin of the American Mathematical Society · 873
PDF
Classical Recursion Theory
1999 · Studies in logic and the foundations of mathematics · 871
A Machine-Independent Theory of the Complexity of Recursive Functions
1967 · Manuel Blum · Journal of the ACM · 829
PDF
Computable Analysis : An Introduction
2014 · Klaus Weihrauch · CERN Document Server (European Organization for Nuclear Research) · 762
Domains for denotational semantics
1982 · Dana S. Scott · Lecture notes in computer science · 742
A Basis for a Mathematical Theory of Computation )
1963 · John McCarthy · Studies in logic and the foundations of mathematics · 729
General recursive functions of natural numbers
1936 · S. C. Kleene · Mathematische Annalen · 595
Data Types as Lattices
1976 · Dana Scott · SIAM Journal on Computing · 574
A Course in Mathematical Logic
1977 · Yu. I. Manin · Graduate texts in mathematics · 545
Computability of Recursive Functions
1963 · J. C. Shepherdson, H. E. Sturgis · Journal of the ACM · 396
Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets
1987 · Robert I. Soare · 354
Lambda Calculi with Types
1992 · H P Barendregt · 352
Extensions of some theorems of Gödel and Church
1936 · Barkley Rosser · Journal of Symbolic Logic · 339
Computability: An Introduction to Recursive Function Theory
1980 · Nigel J. Cutland · Medical Entomology and Zoology · 332
The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions
1966 · Calvin C. Elgot, Martin Davis · Mathematics of Computation · 323
On Computable Numbers, with an Application to the Entscheidungsproblem (1936)
2004 · Alan Turing · 322
Some classes of recursive functions
1964 · Andrzej Grzegorczyk · 304
Works count: 3,925
Citation count: 50,040
Year
Topic
Type