Algebras for Iteration, Infinite Executions and Correctness of Sequential Computations
by Walter Guttmann
Walter Guttmann
2021
2020
Relational Minimum Spanning Tree Algorithms
by Walter Guttmann and Nicolas Robinson-O’Brien
Relational Characterisations of Paths
by Walter Guttmann and Peter Höfner
A Hierarchy of Algebras for Boolean Subsets
by Walter Guttmann and Bernhard Möller
2018
2017
2016
Kleene Algebras with Domain
by Victor B. F. Gomes, Walter Guttmann, Peter Höfner, Georg Struth and Tjark Weber