Bernhard Moller

Bernhard Moller

1 books in the database

Books

Mathematics of Program Construction: Third International Conference, Mpc '95, Kloster Irsee, Germany, July 17-21, 1995Bernhard Moller

Mathematics of Program Construction: Third International Conference, Mpc '95, Kloster Irsee, Germany, July 17-21, 1995

Bernhard Moller · 1995

Co-authored books and collections

Books that list Bernhard Moller among their authors but not as the lead author: co-written works, collections and compilations.

Higher-order algebra, logic, and term rewritingJan Heering

Higher-order algebra, logic, and term rewriting

Jan Heering · 1994

Formal program developmentHelmut A. Partsch

Formal program development

Helmut A. Partsch · 1993