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="Smyth, Michael B."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
I-categories as a framework for solving domain equations
Abbas Edalat
,
Michael B. Smyth
Theoretical Computer Science
115
(1), 1993, pp. 77-106
Algebraic specification of data types: A synthetic approach
Daniel J. Lehmann
,
Michael B. Smyth
Math. Systems Theory
14
, 1981, pp. 97-139