Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of K... von Berghammer, R, Möller, Bernhard, Struth, Georg

Volltext

Mathematics of Program Construction: Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings von Möller, Bernhard

Volltext

Dijkstra, Floyd and Warshall meet Kleene von Hofner, Peter, Moller, Bernhard

Volltext

Kleene algebra with domain von Desharnais, Jules, Möller, Bernhard, Struth, Georg

Volltext

Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings von Boiten, Eerke A, Möller, Bernhard

Volltext

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers von Heering, Jan, Meinke, Karl, Möller, Bernhard, Nipkow, Tobias

Volltext

Modal Knowledge and Game Semirings super(1) von Moller, Bernhard

Volltext

The Linear Algebra of UTP von MOLLER, Bernhard

Volltext

On Algebra of Program Correctness and Incorrectness von Möller, Bernhard, O’Hearn, Peter, Hoare, Tony

Volltext

An algebra of product families von Höfner, Peter, Khedri, Ridha, Möller, Bernhard

Volltext

An algebraic foundation for automatic feature-based program synthesis von Apel, Sven, Lengauer, Christian, Möller, Bernhard, Kästner, Christian

Volltext

Modal algebra and Petri nets von Dang, Han-Hing, Möller, Bernhard

Volltext

Fixing Zeno gaps von Hofner, Peter, Moller, Bernhard

Volltext

Rhenus et eius descriptio elegans, a primis fontibus usque ad Oceanum Germanicum : ubi Urbes, Castra, & Pagi adiacentes, Item Flumina & riuuli in hunc influentes, & si quid prætere... von Moller, Bernhard

Volltext bestellen

Relations and Kleene Algebra in Computer Science: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applica... von Berghammer, Rudolf, Jaoua, Ali, Möller, Bernhard

Volltext

Geographic wayfinders and space-time algebra von Möller, Bernhard

Volltext

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers von Dowek, Gilles, Heering, Jan, Meinke, Karl, Möller, Bernhard

Volltext

Prospects for Hardware Foundations: ESPRIT Working Group 8533 NADA -- New Hardware Design Methods Survey Chapters von Möller, Bernhard, Tucker, John V

Volltext

Modal Knowledge and Game Semirings von Moller, B.

Volltext

Kleene getting lazy von Möller, Bernhard

Volltext