Algebraic Notions of Termination von Jules, Desharnais, Moeller, Bernhard, Georg, Struth

Volltext

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

Volltext

Bridges between New German Cinema and Today’s Generation of Political Filmmakers: An Interview with Michael Verhoeven von MOELLER, HANS-BERNHARD

Volltext

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

Volltext

Kleene getting lazy von Möller, Bernhard

Volltext

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

Volltext

Modal Knowledge and Game Semirings von Moller, B.

Volltext

An algebra of database preferences von Möller, Bernhard, Roocks, Patrick

Volltext

Developments in concurrent Kleene algebra von Hoare, Tony, van Staden, Stephan, Möller, Bernhard, Struth, Georg, Zhu, Huibiao

Volltext

Algebras of modal operators and partial correctness von Möller, Bernhard, Struth, Georg

Volltext

A Hierarchy of Algebras for Boolean Subsets von Guttmann, Walter, 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

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

Volltext

Extended Feature Algebra von Höfner, Peter, Möller, Bernhard

Volltext

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

Volltext

Fixing Zeno gaps von Hofner, Peter, Moller, Bernhard

Volltext

Relational style laws and constructs of linear algebra von Desharnais, Jules, Grinenko, Anastasiya, Möller, Bernhard

Volltext

Towards Antichain Algebra von Möller, Bernhard

Volltext

Non-associative Kleene Algebra and Temporal Logics von Desharnais, Jules, Möller, Bernhard

Volltext

wp Is wlp von Möller, Bernhard, Struth, Georg

Volltext