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 YEAR=1984
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Compatibility and Commutativity of Lock Modes
C. Mohan
,
D. Fussell
,
A. Silberschatz
Information and Control
61
(1), 1984, pp. 38-64
A Logic for Constant-Depth Circuits
Yuri Gurevich
,
Harry R. Lewis
Information and Control
61
(1), 1984, pp. 65-74
On Acyclic Database Decompositions
Catriel Beeri
,
Moshe Y. Vardi
Information and Control
61
(2), 1984, pp. 75-84
A Fresh Look at Free Choice Nets
P.S. Thiagarajan
,
K. Vos
Information and Control
61
(2), 1984, pp. 85-113
An Average Case Analysis of Floyd's Algorithm to Construct Heaps
Ernst E. Doberkat
Information and Control
61
(2), 1984, pp. 114-131
On Quasi-Perfect Property of Double-Error-Correcting Goppa Codes and Their Complete Decoding
G.L. Feng
,
K.K. Tzeng
Information and Control
61
(2), 1984, pp. 132-146
Diamond Formulas: A Fragment of Dynamic Logic with Recursively Enumerable Validity Problem
Peter H. Schmitt
Information and Control
61
(2), 1984, pp. 147-158
The Complexity of Promise Problems with Applications to Public-Key Cryptography
Shimon Even
,
Alan L. Selman
,
Yacov Yacobi
Information and Control
61
(2), 1984, pp. 159-173
Deciding Full Branching Time Logic
E. Allen Emerson
,
A. Prasad Sistla
Information and Control
61
(3), 1984, pp. 175-201
Semantics of Communicating Processes
Manfred Broy
Information and Control
61
(3), 1984, pp. 202-246
Fixed-Point Characterization of Context-Free
\infty
-Languages
Damian Niwiński
Information and Control
61
(3), 1984, pp. 247-276
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
Seiten
<
1
2