( en | de | ru )

 

Disambiguation of "Möller, Bernhard"

Author of the publication

copydeleteadd this publication to your clipboard
An algebraic foundation for automatic feature-based program synthesis

, , , and . Science of Computer Programming, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Bernhard Möller

Bernhard Möller

Bernhard Möller

Bernhard Möller

Bernhard Möller

 

Other publications of authors with the same name

An Algebraic Calculus of Database Preferences., , and . MPC, volume 7342 of Lecture Notes in Computer Science, page 241-262. Springer, (2012)Applicative Assertions.. MPC, volume 375 of Lecture Notes in Computer Science, page 348-362. Springer, (1989)Kleene under a modal demonic star., , and . J. Log. Algebraic Methods Program., 66 (2): 127-160 (2006)Ordered and Continuous Models of Higher-Order Specifications.. HOA, volume 816 of Lecture Notes in Computer Science, page 223-255. Springer, (1993)Assertions and Recursions.. HOA, volume 1074 of Lecture Notes in Computer Science, page 163-184. Springer, (1995)Greedy-Like Algorithms in Modal Kleene Algebra., and . RelMiCS, volume 3051 of Lecture Notes in Computer Science, page 202-215. Springer, (2003)Algebraic Calculation of Graph and Sorting Algorithms (Invited Paper).. Formal Methods in Programming and Their Applications, volume 735 of Lecture Notes in Computer Science, page 394-413. Springer, (1993)Ordered and Continuous Models of Algebraic Types.. ADT, University of Passau, (1983)Preface (Selected Papers from the Third International Conference on the Mathematics of Program Construction).. Sci. Comput. Program., 26 (1-3): 3 (1996)Modal and temporal operators on partial orders.. RelMiCS, page 165-169. (1998)