Index of Various Publications
Dissertation:
Horn Clause Specifications with Polymorphic Types
Dissertation, Universität Dortmund
, 1988
Available:
Abstract
DVI
(252 KB)
BibTeX-Entry
Manuscripts:
Skript zur Vorlesung "Implementierung logischer Programmiersprachen"
(in German)
Available:
PDF (546 KB)
DVI (gzipped) (140 KB)
My BiBTeX file
Click
>here<
to get my BiBTeX file (580 KB)
Michael Hanus