In computability theory, primitive recursive functions are a class of functions that are defined using primitive recursion and composition as central… (More)

Semantic Scholar uses AI to extract papers important to this topic.

Review

2017

Review

2017

- Stephen A. Cook, Bruce M. Kapron
- Electronic Colloquium on Computational Complexity
- 2017

This paper is a transcription of mimeographed course notes titled “A Survey of Classes of Primitive Recursive Functions”, by S.A… (More)

Is this relevant?

2008

2008

- Daniel E. Severin
- J. Symb. Log.
- 2008

In this article, we will study certain reductions in the schemes that conform unary primitive recursive functions (i.e. primitive… (More)

Is this relevant?

2007

2007

1. Definition of recursive functions. In this paper, we shall consider certain reductions in the recursion scheme for defining… (More)

Is this relevant?

2006

2006

- John R. Woodward
- EuroGP
- 2006

Genetic Programming (GP) [1] often uses a tree form of a graph to represent solutions. An extension to this representation… (More)

Is this relevant?

2004

2004

We follow [31] in defining the set of primitive recursive functions. The important helper notion is the homogeneous function from… (More)

Is this relevant?

2004

2004

- Achim D. Brucker, Burkhart Wolff
- FATES
- 2004

We present a method for the automatic generation of test cases for HOL formulae containing primitive recursive predicates. These… (More)

Is this relevant?

2003

2003

- Yiannis N. Moschovakis
- Theor. Comput. Sci.
- 2003

We establish linear lower bounds for the complexity of non-trivial, primitive recursive algorithms from piecewise linear given… (More)

Is this relevant?

Highly Cited

2002

Highly Cited

2002

- Philippe Schnoebelen
- Inf. Process. Lett.
- 2002

Lossy channel systems are systems of finite state automata that communicate via unreliable unbounded fifo channels. It is known… (More)

Is this relevant?

1995

1995

- Sten Agerholm
- TPHOLs
- 1995

This paper presents an approach to the problem of introducing non-primitive recursive function definitions in higher order logic… (More)

Is this relevant?

1989

1989

- Loïc Colson
- ICALP
- 1989

Colson, L., About primitive recursive algorithms, Theoretical Computer Science 83 (1991) 57-69. In the past few years, there has… (More)

Is this relevant?