default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation and Control, Volume 60
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 - Jerzy Tiuryn:
Unbounded Program Memory Adds to the Expressive Power of First-Order Programming Logic. 12-35 - Moreno Falaschi
, Giorgio Levi, Catuscia Palamidessi:
A Synchronization Logic: Axiomatics and Formal Semantics of Generalized Horn Clauses. 36-69 - Michael C. Loui:
The Complexity of Sorting on Distributed Systems. 70-85 - David Harel, David Peleg:
On Static Logics, Dynamic Logics, and Complexity Classes. 86-102 - Eljas Soisalon-Soininen, Peter Widmayer:
On the Complexity of Concurrency Control by Locking in Distributed Database Systems. 103-108 - Jan A. Bergstra, Jan Willem Klop:
Process Algebra for Synchronous Communication. 109-137 - Ralph-Johan Back, Heikki Mannila:
A Semantic Approach to Program Modularity. 138-167 - P. Papantoni-Kazakos:
A Game Theoretic Approach to Robust Filtering. 168-191
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-08 10:05 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
