Inner Structure, Determinism and Modal Algebra of Multirelations by Walter Guttmann π§ and Georg Struth π§ May 22
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