13 search results - page 3 / 3 » Pebble Weighted Automata and Transitive Closure Logics |
FOSSACS
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
LICS
2009
IEEE
13 years 11 months ago
2009
IEEE
Pointer programs are a model of structured computation within logspace. They capture the common description of logspace algorithms as programs that take as input some structured d...
CSL
2008
Springer
13 years 6 months ago
2008
Springer
not use pointer arithmetic. Such "pure pointer algorithms" thus are a useful abstraction for studying the nature of logspace-computation. In this paper we introduce a for...