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=61
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Dynamic, First-Fit Packings in Two or More Dimensions
E.G., Jr. Coffman
,
E.N. Gilbert
Information and Control
61
(1), 1984, pp. 1-14
Randomnes Conservation Inequalities; Information and Independence in Mathematical Theories
Leonid A. Levin
Information and Control
61
(1), 1984, pp. 15-37
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