Walter Guttmann

Homepages 🌐

• https://www.cosc.canterbury.ac.nz/walter.guttmann/

Entries

2021

Algebras for Iteration, Infinite Executions and Correctness of Sequential Computations

by Walter Guttmann 🌐

Oct 12

Relational Forests

by Walter Guttmann 🌐

Aug 03

2020

Relational Minimum Spanning Tree Algorithms

by Walter Guttmann 🌐 and Nicolas Robinson-O’Brien

Dec 08

Relational Disjoint-Set Forests

by Walter Guttmann 🌐

Aug 26

Relational Characterisations of Paths

by Walter Guttmann 🌐 and Peter Höfner 🌐

Jul 13

A Hierarchy of Algebras for Boolean Subsets

by Walter Guttmann 🌐 and Bernhard Möller 🌐

Jan 31

2018

Aggregation Algebras

by Walter Guttmann 🌐

Sep 15

2017

Stone-Kleene Relation Algebras

by Walter Guttmann 🌐

Jul 06

Stone Relation Algebras

by Walter Guttmann 🌐

Feb 07

2016

Stone Algebras

by Walter Guttmann 🌐

Sep 06

Kleene Algebras with Domain

by Victor B. F. Gomes 🌐, Walter Guttmann 🌐, Peter Höfner 🌐, Georg Struth 🌐 and Tjark Weber 🌐

Apr 12