2509 search results - page 2 / 502 » Abstract Geometrical Computation and Computable Analysis |
CIE
2006
Springer
13 years 9 months ago
2006
Springer
le conservative rational abstract geometrical computation is Turing-universal d abstract) J
CIE
2007
Springer
13 years 11 months ago
2007
Springer
Geometrical Computation and the Linear Blum, Shub and Smale Model Geometrical Computation and the Linear Blum, Shub and Smale Model J´erˆome Durand-Lose Laboratoire d’Informati...
CONCUR
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. In this paper we show how to compress efficiently the statespace of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that ...
FOCS
1994
IEEE
13 years 9 months ago
1994
IEEE
STACS
1993
Springer
13 years 9 months ago
1993
Springer
