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: Author="Dowd, M."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
The periodic balanced sorting network
M. Dowd
,
Y. Perl
,
L. Rudolph
,
M. Saks
Journal of the ACM
36
(4), 1989, October, pp. 738-757
On the structure of Armstrong relations for functional dependencies
C. Beeri
,
M. Dowd
,
R. Fagin
,
R. Statman
Journal of the ACM
31
(1), 1984, pp. 30-46
Propositional representation of arithmetic proofs
M. Dowd
Proceedings of the 10th Annual ACM Symposium on Theory of Computing, STOC'78 (San Diego, CA, May 1-3, 1978)
, 1978, pp. 246-252