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.
An approach for generating different types of Gray codes
B. Arazi
Information and Control
63
(1/2), 1984, pp. 1-10
A decidable propositional dynamic logic with explicit probabilities
Y.A. Feldman
Information and Control
63
(1/2), 1984, pp. 11-38
Geometric retrieval problems
R. Cole
,
C.K. Yap
Information and Control
63
(1/2), 1984, pp. 39-57
The uniform conjugacy problem for finite Church-Rosser Thue systems is
NP
-complete
P. Narendran
,
F. Otto
,
K. Winklmann
Information and Control
63
(1/2), 1984, pp. 58-66
Fast probabilistic RAM simulation of single tape Turing machine computations
J.M. Robson
Information and Control
63
(1/2), 1984, pp. 67-87
Direction independent context-sensitive grammars
H.C.M. Kleijn
,
M. Penttonen
,
G. Rozenberg
,
K. Salomaa
Information and Control
63
(1/2), 1984, pp. 113-117
A programming language for the inductive sets, and applications
D. Harel
,
D. Kozen
Information and Control
63
(1/2), 1984, pp. 118-139
Dynamic C-oriented polygonal intersection searching
R.H. Güting
Information and Control
63
(3), 1984, pp. 143-163
An algorithm for covering polygons with rectangles
D.S. Franzblau
,
D.J. Kleitman
Information and Control
63
(3), 1984, pp. 164-189
An easy proof of Greibach normal form
A. Ehrenfeucht
,
G. Rozenberg
Information and Control
63
(3), 1984, pp. 190-199
On the progress of communication between two finite state machines
M.G. Gouda
,
E.G. Manning
,
Y.T. Yu
Information and Control
63
(3), 1984, pp. 200-216
Hash functions for priority queues
M. Ajtai
,
M. Fredman
,
J. Komlós
Information and Control
63
(3), 1984, pp. 217-225
Arbitrary versus periodic storage schemes and tesselations of the plane using one type of polyomino
H.A.G. Wijshoff
,
J. van Leeuwen
Information and Control
62
(1), 1984, pp. 1-25
An intermediate machine technique for deciding equivalence between a DPDA and a linear DPDA
Y. Itzhaik
,
A. Yehudai
Information and Control
62
(1), 1984, pp. 26-35
Effectively given domains and lambda-calculus models
P. Giannini
,
G. Longo
Information and Control
62
(1), 1984, pp. 36-63
Optimal hashing
R.E. Krichevsky
Information and Control
62
(1), 1984, pp. 64-92
Alternation bounded auxiliary pushdown automata
R.E. Ladner
,
L.J. Stockmeyer
,
R.J. Lipton
Information and Control
62
(2/3), 1984, pp. 93-108
On similarity and duality of computation (I)
J.-W. Hong
Information and Control
62
(2-3), 1984, pp. 109-128
Optimal decision trees and one-time-only branching programs for symmetric boolean functions
I. Wegener
Information and Control
62
(2-3), 1984, pp. 129-143
Functional behavior of nondeterministic and concurrent programs
M.G. Main
,
D.B. Benson
Information and Control
62
(2-3), 1984, pp. 144-189
An upper and lower bound for clock synchronization
J. Lundelius
,
N. Lynch
Information and Control
62
(2-3), 1984, pp. 190-204
On the spectra of universal relational sentences
H. Friedman
Information and Control
62
(2-3), 1984, pp. 205-209
Fault tolerance and storage reduction in binary search trees
J.I. Munro
,
P.V. Poblete
Information and Control
62
(2-3), 1984, pp. 210-218
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
Seiten 1
2
>