Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Inf.~Control AND Volume=60
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Two Nonlinear Lower Bounds for On-Line Computations
Pavol Dúris̑
,
Zvi Galil
,
Wolfgang Paul
,
Rüdiger Reischuk
Information and Control
60
(1-3), 1984, pp. 1-11
Unbounded Program Memory Adds to the Expressive Power of First-Order Programming Logic
Jerzy Tiuryn
Information and Control
60
(1-3), 1984, pp. 12-35
A Synchronization Logic: Axiomatics and Formal Semantics of Generalized Horn Clauses
M. Falaschi
,
G. Levi
,
C. Palamidessi
Information and Control
60
(1-3), 1984, pp. 36-69
The Complexity of Sorting on Distributed Systems
Michael C. Loui
Information and Control
60
(1-3), 1984, pp. 70-85
On Static Logics, Dynamic Logics, and Complexity Classes
D. Harel
,
D. Peleg
Information and Control
60
(1-3), 1984, pp. 86-102
On the Complexity of Concurrency Control by Locking in Distributed Database Systems
Eljas Soisalon-Soininen
,
Peter Widmayer
Information and Control
60
(1-3), 1984, pp. 103-108
Process Algebra for Synchronous Communication
J.A. Bergstra
,
J.W. Klop
Information and Control
60
(1-3), 1984, pp. 109-137
A Semantic Approach to Program Modularity
R.J.R. Back
,
H. Mannila
Information and Control
60
(1-3), 1984, pp. 138-167
A Game Theoretic Approach to Robust Filtering
P. Papantoni-Kazakos
Information and Control
60
(1-3), 1984, pp. 168-191