7 search results - page 1 / 2 » stacs 1997 |
58
Voted
STACS
1997
Springer
15 years 3 months ago
1997
Springer
54
Voted
STACS
1997
Springer
15 years 3 months ago
1997
Springer
68
Voted
STACS
1997
Springer
15 years 3 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...
94
Voted
STACS
1997
Springer
15 years 3 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...
59
Voted
STACS
1997
Springer
15 years 3 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...