We discuss a number of results regarding an important subject: the study of the computational power of depth-bounded reducibilities, their use to classify the complexity of computational problems, and their characterizations in terms of other computational models. In particular, problems arising in the design of concurrent systems are studied, and two kinds of logarithmic space reductions are defined. The first one is nonadaptive and equivalent in many respects to the oracle set model. The second one provides a notion of adaptive logspace reducibility which turns out to characterize precisely depth-bounded reductions. The closures of NP under these reducibilities are also treated. This is a conference delivered at Structure in Complexity Th...
This thesis investigates relations between complexity classes, resource bounded reducibilities and d...
Motivated by the question of how to define an analog of interactive proofs in the setting of logarit...
AbstractA programming approach to computability and complexity theory yields more natural definition...
A definition of self-reducibility is proposed to deal with logarithmic space complexity classes. A g...
A notion of log space Turing reducibility is introduced. It is used to define relative notions of lo...
We study the relative computational power of logspace reduction models. In particular, we study the ...
AbstractAn important open problem relating sequential and parallel computations is whether the space...
We discuss two notions of functional oracle for logarithmic space-bounded machines, which differ in ...
AbstractAs an alternative to previously studied models for space-bounded relative computation, an or...
AbstractNew self-reducibility structures are proposed to deal with sets outside the class PSPACE and...
We study whether sets inside NP can be reduced to sets with low information content but possibly sti...
We introduce a notion of width-bounded reducibility. Width-bounded reducibility provides a circuit-b...
. There exist many different formalisms to model the notion of resource bounded `truth-table' r...
We present a new complexity theoretic approach to incremental computation. We define complexity clas...
AbstractWe consider some open questions about log-space computability (deterministic, non-determinis...
This thesis investigates relations between complexity classes, resource bounded reducibilities and d...
Motivated by the question of how to define an analog of interactive proofs in the setting of logarit...
AbstractA programming approach to computability and complexity theory yields more natural definition...
A definition of self-reducibility is proposed to deal with logarithmic space complexity classes. A g...
A notion of log space Turing reducibility is introduced. It is used to define relative notions of lo...
We study the relative computational power of logspace reduction models. In particular, we study the ...
AbstractAn important open problem relating sequential and parallel computations is whether the space...
We discuss two notions of functional oracle for logarithmic space-bounded machines, which differ in ...
AbstractAs an alternative to previously studied models for space-bounded relative computation, an or...
AbstractNew self-reducibility structures are proposed to deal with sets outside the class PSPACE and...
We study whether sets inside NP can be reduced to sets with low information content but possibly sti...
We introduce a notion of width-bounded reducibility. Width-bounded reducibility provides a circuit-b...
. There exist many different formalisms to model the notion of resource bounded `truth-table' r...
We present a new complexity theoretic approach to incremental computation. We define complexity clas...
AbstractWe consider some open questions about log-space computability (deterministic, non-determinis...
This thesis investigates relations between complexity classes, resource bounded reducibilities and d...
Motivated by the question of how to define an analog of interactive proofs in the setting of logarit...
AbstractA programming approach to computability and complexity theory yields more natural definition...