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="Manes, Ernest G."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Taut monads and
T0
-spaces
Ernest G. Manes
Theoretical Computer Science
275
(1-2), 2002, pp. 79-109
The equational theory of a Boolean monad
Ernest G. Manes
Proceedings of the 9th International Conference on Fundamentals of Computation Theory. FCT '93 (Szeged, Hungary, August 1993)
LNCS 710
, 1993, pp. 363-374
Parametrized Data Types Do Not Need Highly Constrained Parameters
Michael A. Arbib
,
Ernest G. Manes
Information and Control
52
(2), 1982, pp. 139-158
Intertwined recursion, tree transformations, and linear systems
Michael A. Arbib
,
Ernest G. Manes
Information and Control
40
, 1979, pp. 144-180