Search results for: Rudolf Berghammer
Fundamenta Informaticae > 2020 > Vol. 177, nr 2 > 95--113
Monatshefte für Mathematik > 2019 > 190 > 1 > 33-78
Journal of Logical and Algebraic Methods in Programming > 2017 > 90 > C > 102-124
Journal of Logical and Algebraic Methods in Programming > 2017 > 88 > C > 45-63
Journal of Logical and Algebraic Methods in Programming > 2017 > 88 > C > 1-25
Discrete Mathematics > 2016 > 339 > 12 > 3089-3115
Lecture Notes in Computer Science > Relational Methods in Computer Science > Contributed Papers > 161-172
Lecture Notes in Computer Science > Relational and Kleene-Algebraic Methods in Computer Science > Contributed Papers > 62-73
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 49-69