Johannes Waldmann - Publications


for more recent publications, see my DBLP entry

Journal papers


Conference papers


Workshop papers


PhD Dissertation

The Combinator S, accepted by the Fakultät für Mathematik und Informatik of the Friedrich-Schiller-Universität Jena, 1998. Referees: Hans-Dietrich Hecker, Jena; Jan Willem Klop, Amsterdam; Horst Reichel, Dresden.

Technical Reports and Notes


http://www.imn.htwk-leipzig.de/~waldmann/