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=55
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
How to reuse a ``write-once'' memory
R.L. Rivest
,
A. Shamir
Information and Control
55
(1-3), 1982, pp. 1-19
On efficient simulations of multicounter machines
P.M.B. Vitányi
Information and Control
55
(1-3), 1982, pp. 20-39
Circuit-size lower bounds and non-reducibility to sparse sets
R. Kannan
Information and Control
55
(1-3), 1982, pp. 40-56
On the security of ping-pong protocols
D. Dolev
,
S. Even
,
R.M. Karp
Information and Control
55
(1-3), 1982, pp. 57-68
The inference problem for template dependencies
Y. Gurevich
,
H.R. Lewis
Information and Control
55
(1-3), 1982, pp. 69-79
On the unique satisfiability problem
A. Blass
,
Y. Gurevich
Information and Control
55
(1-3), 1982, pp. 80-88
A consistent extension of the lambda-calculus as a base for functional programming languages
K.J. Berkling
,
E. Fehr
Information and Control
55
(1-3), 1982, pp. 89-101
A tight
\Omega(\log\log n)
-bound on the time for parallel RAM's to compute nondegenerated boolean functions
Hans-Ulrich Simon
Information and Control
55
(1-3), 1982, pp. 102-107
Fair derivations in context-free grammars
S. Porat
,
N. Francez
,
S. Moran
,
S. Zaks
Information and Control
55
(1-3), 1982, pp. 108-116
A note on deterministic and nondeterministic time complexity
S. Even
,
T.J. Long
,
Y. Yacobi
Information and Control
55
(1-3), 1982, pp. 117-124
The theory of fringe analysis and its application to 2-3 trees and B-trees
B. Eisenbarth
,
N. Ziviani
,
G.H. Gonnet
,
K. Mehlhorn
,
D. Wood
Information and Control
55
(1-3), 1982, pp. 125-174
Looping vs. repeating in dynamic logic
D. Harel
,
R. Sherman
Information and Control
55
(1-3), 1982, pp. 175-192
Two-dimensional alternating Turing machines with only universal states
A. Ito
,
K. Inoue
,
I. Takanami
,
H. Taniguchi
Information and Control
55
(1-3), 1982, pp. 193-221
The enumeration of certain run length sequences
I.F. Blake
Information and Control
55
(1-3), 1982, pp. 222-237
Channel distances and representation
D.L. Neuhoff
,
P.C. Shields
Information and Control
55
(1-3), 1982, pp. 238-264