7 search results - page 1 / 2 » stacs 1997 |
STACS
1997
Springer
13 years 9 months ago
1997
Springer
STACS
1997
Springer
13 years 9 months ago
1997
Springer
STACS
1997
Springer
13 years 9 months ago
1997
Springer
Various types of probabilistic proof systems have played a central role in the development of computer science in the last decade. In this exposition, we concentrate on three such...
STACS
1997
Springer
13 years 9 months ago
1997
Springer
Abstract. This paper deals with simulation and reversibility in the context of Cellular Automata (ca). We recall the de nitions of ca and of the Block (bca) and Partitioned (pca) s...
STACS
1997
Springer
13 years 9 months ago
1997
Springer
In this paper we present a new notion of what it means for a problem in P to be inherently sequential. Informally, a problem L is strictly sequential P-complete if when the best kn...