B. M. · Bernhard Möller · Moller, Bernhard
| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Formal Program Development: Ifip Tc2/Wg 2.1 State-Of-The-Art Report | 978-0-387-57499-8 | 1993 | Helmut Partsch | |
| Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, Hoa '93, Amsterdam, the Netherlands September 23-24, 1993 Selected Pa | 978-0-387-58233-7 | 1994 | Jan Heering · Karl Meinke | |
| Mathematics of Program Construction: Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Proceedings | 978-3-540-60117-3 | 2008 | ||
| Relations and Kleene Algebra in Computer Science: 10th International Conference on Relational Methods in Computer Science, and 5th International ... | 978-3-540-78912-3 | 2010 | Rudolf Berghammer | |