AbstractA uniform method for constructing sets which diagonalize over certain complexity classes while preserving other complexity properties is given. We obtain some known results as well as some new ones as corollaries of our main theorem. The new results concern the complexity classes P, NP, co-NP, PSPACE, APT (almost polynomial time), R (random polynomial time), and the polynomial hierarchy
AbstractGoing back to the seminal paper of Furst, Saxe, and Sipser (1984), analogues between polynom...
We strengthen the nondeterministic hierarchy theorem for non-deterministic polynomial time to show t...
AbstractIn this paper we study diagonal processes over time bounded computations of one-tape Turing ...
AbstractWe prove easy recursion-theoretic results which have as corollaries generalizations of exist...
Determining the computational complexity of problems is a large area of study. It seeks to separate ...
AbstractA formal notion of diagonalization is developed which allows to enforce properties that are ...
By means of the definition of predicative recursion, we introduce a programming language that provid...
AbstractWe derive new fixed-point theorems for subrecursive classes, together with a theorem on the ...
Diagonalization is a powerful technique in recursion the-ory and in computational complexity [2]. Th...
AbstractComplexity classes are usually defined by referring to computation models and by putting sui...
The diagonalization technique was invented by Georg Cantor to show that there are more real numbers ...
Starting from the definitions of predicative recursion and constructive diagonalization, we recall o...
AbstractWe obtain some results of the form: If certain complexity classes satisfy a non-uniform cond...
Abstract A set is autoreducible if it can be reduced to itself by a Turing machine that does not ask...
There are two parts to this dissertation. The first part is motivated by nothing less than a reexami...
AbstractGoing back to the seminal paper of Furst, Saxe, and Sipser (1984), analogues between polynom...
We strengthen the nondeterministic hierarchy theorem for non-deterministic polynomial time to show t...
AbstractIn this paper we study diagonal processes over time bounded computations of one-tape Turing ...
AbstractWe prove easy recursion-theoretic results which have as corollaries generalizations of exist...
Determining the computational complexity of problems is a large area of study. It seeks to separate ...
AbstractA formal notion of diagonalization is developed which allows to enforce properties that are ...
By means of the definition of predicative recursion, we introduce a programming language that provid...
AbstractWe derive new fixed-point theorems for subrecursive classes, together with a theorem on the ...
Diagonalization is a powerful technique in recursion the-ory and in computational complexity [2]. Th...
AbstractComplexity classes are usually defined by referring to computation models and by putting sui...
The diagonalization technique was invented by Georg Cantor to show that there are more real numbers ...
Starting from the definitions of predicative recursion and constructive diagonalization, we recall o...
AbstractWe obtain some results of the form: If certain complexity classes satisfy a non-uniform cond...
Abstract A set is autoreducible if it can be reduced to itself by a Turing machine that does not ask...
There are two parts to this dissertation. The first part is motivated by nothing less than a reexami...
AbstractGoing back to the seminal paper of Furst, Saxe, and Sipser (1984), analogues between polynom...
We strengthen the nondeterministic hierarchy theorem for non-deterministic polynomial time to show t...
AbstractIn this paper we study diagonal processes over time bounded computations of one-tape Turing ...