Results 221 to 230 of about 26,685 (258)

Extension of partial recursive functions and functions with a recursive graph

Mathematical Notes of the Academy of Sciences of the USSR, 1969
It is proved that every degree of complexity of mass problems, containing the decision problem of a recursive enumerable set, contains also the problem of extension of a partial recursive function, the graph of which is recursive. Some properties of functions with a recursive graph are considered.
openaire   +1 more source

Specifying and Verifying a Transformation of Recursive Functions into Tail-Recursive Functions

Computación y Sistemas, 2023
Axel Suárez Polo, José de Jesús Lavalle-Martínez, Iván Molina Rebolledo   +2 more
openaire   +2 more sources

Computability of Recursive Functions

Journal of the ACM, 1963
John C. Shepherdson, Howard E. Sturgis
openaire   +2 more sources

A Classification of the Recursive Functions

Mathematical Logic Quarterly, 1972
Meyer, Albert R., Ritchie, Dennis M.
openaire   +1 more source

On the Computability of Primitive Recursive Functions by Feedforward Artificial Neural Networks

Mathematics, 2023
Vladimir Kulyukin
exaly  

Linear Recursive Functions

2007
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie   +3 more
openaire   +1 more source

Solving constrained Horn clauses modulo algebraic data types and recursive functions

2022
Arie Gurfinkel, Sharon Shoham Buchbinder   +1 more
exaly  

Analog computers and recursive functions over the reals

Journal of Complexity, 2003
JOSÉ Felix Costa
exaly  

A recursive scheme for frequency estimation using the modulating functions method

Applied Mathematics and Computation, 2010
Giuseppe Fedele
exaly  

A Class of Reversible Primitive Recursive Functions

Electronic Notes in Theoretical Computer Science, 2016
Luca Roversi, Luca Paolini, Mauro Piccolo   +2 more
exaly