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
[1]
Hilfe
Suche: Author="Scott, D."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Extensional PERs
P. Freyd
,
P. Mulry
,
G. Rosolini
,
D. Scott
Information and Computation
98
(2), 1992, June, pp. 211-227
Data types as lattices
D. Scott
SIAM Journal on Computing
5
(3), 1976, September, pp. 522-588
Embeddings of communication trees and grids into hypercubes
J.E. Brandenburg
,
D.S. Scott
misc (Order no. 280182-001)