Algebras for Iteration, Infinite Executions and Correctness of Sequential Computations by Walter Guttmann π Oct 12
Relational Minimum Spanning Tree Algorithms by Walter Guttmann π and Nicolas Robinson-O’Brien Dec 08
Kleene Algebras with Domain by Victor B. F. Gomes π, Walter Guttmann π, Peter HΓΆfner π, Georg Struth π and Tjark Weber π Apr 12