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=63
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