Volume 60, Number 1-3, 1984
- Pavol Duris, Zvi Galil, Wolfgang J. Paul, Rüdiger Reischuk:
Two Nonlinear Lower Bounds for On-Line Computations.
1-11 BibTeX
- Jerzy Tiuryn:
Unbounded Program Memory Adds to the Expressive Power of First-Order Programming Logic.
12-35 BibTeX
- Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi:
A Synchronization Logic: Axiomatics and Formal Semantics of Generalized Horn Clauses.
36-69 BibTeX
- Michael C. Loui:
The Complexity of Sorting on Distributed Systems.
70-85 BibTeX
- David Harel, David Peleg:
On Static Logics, Dynamic Logics, and Complexity Classes.
86-102 BibTeX
- Eljas Soisalon-Soininen, Peter Widmayer:
On the Complexity of Concurrency Control by Locking in Distributed Database Systems.
103-108 BibTeX
- Jan A. Bergstra, Jan Willem Klop:
Process Algebra for Synchronous Communication.
109-137 BibTeX
- Ralph-Johan Back, Heikki Mannila:
A Semantic Approach to Program Modularity.
138-167 BibTeX
- Panayota Papantoni-Kazakos:
A Game Theoretic Approach to Robust Filtering.
168-191 BibTeX
Copyright © Sat May 16 23:59:55 2009
by Michael Ley (ley@uni-trier.de)
