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="Barr, Michael"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A Java development and runtime environment for reconfigurable computing
Don Davis
,
Michael Barr
,
Toby Bennett
,
Stephen Edwards
,
Jonathan Harris
,
Ian Miller
,
Chris Schanck
Lecture Notes in Computer Science
1388
, 1998, pp. 43-48
Nonsymmetric -autonomous categories
Michael Barr
Theoretical Computer Science
139
(1-2), 1995, pp. 115-130
Terminal coalgebras in well-founded set theory
Michael Barr
Theoretical Computer Science
114
(2), 1993, pp. 299-315
Fixed points in cartesian closed categories
Michael Barr
Theoretical Computer Science
70
, 1990, pp. 65-72