# Georg Struth

## Homepages π

## E-Mails π§

## Entries

### 2023

##### Inner Structure, Determinism and Modal Algebra of Multirelations

by Walter Guttmann π§ and Georg Struth π§

### 2018

### 2017

##### Partial Semigroups and Convolution Algebras

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

### 2016

##### Program Construction and Verification Components Based on Kleene Algebra

by Victor B. F. Gomes π§ and Georg Struth π§

##### Kleene Algebras with Domain

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

### 2015

### 2014

##### Kleene Algebra with Tests and Demonic Refinement Algebras

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