Georg Struth

Homepages 🌐

• http://staffwww.dcs.shef.ac.uk/people/G.Struth/

E-Mails 📧

• ku.ca.dleiffehs @hturts.g

Entries

2024

Higher Globular Catoids and Quantales

by Cameron Calk and Georg Struth 📧

Jan 24

Cubical Categories

by Georg Struth 📧 and Tanguy Massacrier

Jan 24

2023

Catoids, Categories, Groupoids

by Georg Struth 📧

Aug 14

Modal quantales, involutive quantales, Dedekind Quantales

by Georg Struth 📧 and Cameron Calk

Jul 25

Inner Structure, Determinism and Modal Algebra of Multirelations

by Walter Guttmann 📧 and Georg Struth 📧

May 22

2018

Transformer Semantics

by Georg Struth 🌐

Dec 11

Quantales

by Georg Struth 🌐

Dec 11

Properties of Orderings and Lattices

by Georg Struth 🌐

Dec 11

2017

Partial Semigroups and Convolution Algebras

by Brijesh Dongol 📧, Victor B. F. Gomes 📧, Ian J. Hayes 📧 and Georg Struth 📧

Jun 13

2016

Program Construction and Verification Components Based on Kleene Algebra

by Victor B. F. Gomes 📧 and Georg Struth 📧

Jun 18

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

Residuated Lattices

by Victor B. F. Gomes 📧 and Georg Struth 📧

Apr 15

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

2013

Kleene Algebra

by Alasdair Armstrong, Georg Struth 🌐 and Tjark Weber 🌐

Jan 15