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