14. RAMICS 2014: Marienstatt, Germany

Refine list

showing all ?? records

Concurrent Kleene Algebras and Related Formalisms

Reasoning About Computations and Programs

Heterogeneous and Categorical Approaches

Applications of Relational and Algebraic Methods

Developments Related to Modal Logics and Lattices

a service of  Schloss Dagstuhl - Leibniz Center for Informatics