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