Search results for: Bernhard Möller
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Contributed Talks > 379-393
Lecture Notes in Computer Science
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 5(P2) > 952-971
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 4 > 617-636
Lecture Notes in Computer Science > Relational Methods in Computer Science > Contributed Papers > 121-133
Lecture Notes in Computer Science > Prospects for Hardware Foundations > Verification and Deductive Design > 421-468
Lecture Notes in Computer Science > Prospects for Hardware Foundations > I Mathematical Foundations > 69-116
IFIP — The International Federation for Information Processing > Exploring New Frontiers of Theoretical Informatics > Track (2) on Logic, Semantics, Specification, and Verification > 647-660
Lecture Notes in Computer Science > Relational and Kleene-Algebraic Methods in Computer Science > Contributed Papers > 112-123