Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Various Publications
[go: Go Back, main page]

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