Kleene_Algebra Dependents

2023

Modal quantales, involutive quantales, Dedekind Quantales

by Georg Struth and Cameron Calk

Jul 25

2018

Quantales

by Georg Struth

Dec 11

2016

Kleene Algebras with Domain

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

Apr 12

2015

Binary Multirelations

by Hitoshi Furusawa and Georg Struth

Jun 11

2014

Regular Algebras

by Simon Foster and Georg Struth

May 21

Relation Algebra

by Alasdair Armstrong, Simon Foster, Georg Struth and Tjark Weber

Jan 25

Kleene Algebra with Tests and Demonic Refinement Algebras

by Alasdair Armstrong, Victor B. F. Gomes and Georg Struth

Jan 23