We define polynomial time computable operator. Our definition generalizes Cook's definition to arbitrary function inputs. Polynomial classes are defined in terms of these operators; the properties of these classes are investigated. Honest polynomial classes are generated by running time. They posses a modified Ritchie-Cobham property. A polynomial class is a complexity class iff it is honest. Starting from the observation that many results about subrecursive classes hold for all reducibility relations (e.g. primitive recursive in, elementary recursive in), which were studied so far, we define abstract subrecursive reducibility relation. Many results hold for all abstract subrecursive reducibilities
International audienceRecursive analysis was introduced by A. Turing [1936], A. Grzegorczyk [1955], ...
In this paper we show that several classes of languages from computational complexity theory, such a...
We provide several machine-independent characterizations of deterministic complexity classes in the ...
We define polynomial time computable operator. Our definition generalizes Cook's definition to arbi...
International audienceRecursive analysis was introduced by A. Turing [1936], A. Grzegorczyk [1955], ...
AbstractThe goal of extending work on relative polynomial time computability from computations relat...
AbstractA strong connection is established between the structural and the looking back techniques fo...
ABSTRACT. Sets which are efficiently reducible (in Karp's sense) to arbitrarily complex sets ar...
The outcomes of this article are twofold. Implicit complexity. We provide an implicit characterizati...
Abstract. Recursive analysis is the most classical approach to model and discuss compu-tations over ...
International audienceWhat can be decided or semidecided about a primitive recursive function, given...
We provide machine-independent characterizations of some complexity classes, over an arbitrary struc...
Subrecursive degrees are partitions of computable (recursive) functions generated by strong reducibi...
We provide several machine-independent characterizations of deterministic complexity classes in the ...
Rapport interne.In this paper, we provide several machine-independent characterizations of determini...
International audienceRecursive analysis was introduced by A. Turing [1936], A. Grzegorczyk [1955], ...
In this paper we show that several classes of languages from computational complexity theory, such a...
We provide several machine-independent characterizations of deterministic complexity classes in the ...
We define polynomial time computable operator. Our definition generalizes Cook's definition to arbi...
International audienceRecursive analysis was introduced by A. Turing [1936], A. Grzegorczyk [1955], ...
AbstractThe goal of extending work on relative polynomial time computability from computations relat...
AbstractA strong connection is established between the structural and the looking back techniques fo...
ABSTRACT. Sets which are efficiently reducible (in Karp's sense) to arbitrarily complex sets ar...
The outcomes of this article are twofold. Implicit complexity. We provide an implicit characterizati...
Abstract. Recursive analysis is the most classical approach to model and discuss compu-tations over ...
International audienceWhat can be decided or semidecided about a primitive recursive function, given...
We provide machine-independent characterizations of some complexity classes, over an arbitrary struc...
Subrecursive degrees are partitions of computable (recursive) functions generated by strong reducibi...
We provide several machine-independent characterizations of deterministic complexity classes in the ...
Rapport interne.In this paper, we provide several machine-independent characterizations of determini...
International audienceRecursive analysis was introduced by A. Turing [1936], A. Grzegorczyk [1955], ...
In this paper we show that several classes of languages from computational complexity theory, such a...
We provide several machine-independent characterizations of deterministic complexity classes in the ...