One partial recursive function is a pseudo-extension of another just in case the former agrees with the latter on all but finitely many of those arguments for which the latter is defined. This paper deals with the problem of effectively modifying programs to make them halt on large classes of inputs. Solvable special cases of the problem of effectively finding programs (when they exist) for pseudo-extensions of partial recursive functions are characterized
We show that to every recursive total continuous functional there is a total functional below it tha...
Abstract:- We consider models of sequential programs (recursive program schemes) and analyze their e...
AbstractIn this paper we study the constrained equivalence of programs with effects. In particular, ...
One partial recursive function is a pseudo-extension of another just in case the former agrees with ...
In this paper we compare the computational power of the Extended Analog Computer (EAC) with partial ...
The theory of computability, or basic recursive function theory as it is often called, is usually m...
AbstractThe theory of computability, or basic recursive function theory as it is often called, is us...
There are various issues in the Olympiads in Computer Science. In particular, one of them is a recur...
Let h be any rapidly increasing function recursive in the halting problem. One can find a double rec...
A classification of all the computable functions is given in terms of subrecursive programming langu...
AbstractFinitely typed functional programs are naturally classified by their levels. This syntactic ...
Recently, using a limit schema, we presented an analog and machine independent algebraic characteriz...
AbstractGiven a strictly increasing computable sequence (called a base sequence) of real numbers (wi...
Computability theory is at the heart of theoretical computer science. Yet, ironically, many of its b...
Partiality is a natural phenomenon in computability that we cannot get around. So, the question is w...
We show that to every recursive total continuous functional there is a total functional below it tha...
Abstract:- We consider models of sequential programs (recursive program schemes) and analyze their e...
AbstractIn this paper we study the constrained equivalence of programs with effects. In particular, ...
One partial recursive function is a pseudo-extension of another just in case the former agrees with ...
In this paper we compare the computational power of the Extended Analog Computer (EAC) with partial ...
The theory of computability, or basic recursive function theory as it is often called, is usually m...
AbstractThe theory of computability, or basic recursive function theory as it is often called, is us...
There are various issues in the Olympiads in Computer Science. In particular, one of them is a recur...
Let h be any rapidly increasing function recursive in the halting problem. One can find a double rec...
A classification of all the computable functions is given in terms of subrecursive programming langu...
AbstractFinitely typed functional programs are naturally classified by their levels. This syntactic ...
Recently, using a limit schema, we presented an analog and machine independent algebraic characteriz...
AbstractGiven a strictly increasing computable sequence (called a base sequence) of real numbers (wi...
Computability theory is at the heart of theoretical computer science. Yet, ironically, many of its b...
Partiality is a natural phenomenon in computability that we cannot get around. So, the question is w...
We show that to every recursive total continuous functional there is a total functional below it tha...
Abstract:- We consider models of sequential programs (recursive program schemes) and analyze their e...
AbstractIn this paper we study the constrained equivalence of programs with effects. In particular, ...