Moller, Bernhard.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Mathematics of program construction6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings /
by:
(1998 :); Boiten, Eerke.; Moller, Bernhard.; SpringerLink (Online service)
(Electronic resources)
Prospects for hardware foundationsESPRIT Working Group 8533 : NADA - new hardware design methods, survey chapters /
by:
Moller, Bernhard.; SpringerLink (Online service); Tucker, John V.
(Electronic resources)
Relations and kleene algebra in computer science11th International Conference on Relational Methods in Computer Science, Relmics 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, november, 2009 : proceedings /
by:
(1998 :); Berghammer, Rudolf.; Jaoua, Ali Mohamed.; Moller, Bernhard.; SpringerLink (Online service)
(Electronic resources)
Subjects
Algebraic logic
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algebra.
Computer programming
Relation algebras
Computer science
Order, Lattices, Ordered Algebraic Structures.
Discrete Mathematics in Computer Science.
Computer Science.
Computers
Symbolic and Algebraic Manipulation.