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="Hanus, Michael"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Operational semantics for declarative multi-paradigm languages
Elvira Albert
,
Michael Hanus
,
Frank Huch
,
Javier Oliver
,
Germán Vidal
Journal Symbolic Computation
40
(1), 2005, pp. 795-829
A residualizing semantics for the partial evaluation of functional logic programs
Elvira Albert
,
Michael Hanus
,
Germán Vidal
Information Processing Letters
85
(1), 2003, pp. 19-25
A needed narrowing strategy
Sergio Antoy
,
Rachid Echahed
,
Michael Hanus
Journal of the ACM
47
(4), 2000, pp. 776-822
Strongly sequential and inductively sequential term rewriting systems
Michael Hanus
,
Salvador Lucas
,
Aart Middeldorp
Information Processing Letters
67
(1), 1998, pp. 1-8
Horn clause programs with polymorphic types: semantics and resolution
Michael Hanus
Theoretical Computer Science
89
, 1991, pp. 63-106