| Home |
| About |
| Submission |
| Updating Entries |
| Using Entries |
| Search |
| Statistics |
| Index |
| Download |
Georg Struth
| Website: http://staffwww.dcs.shef.ac.uk/people/G.Struth/ |
Entries
| 2018 |
| December 11: Transformer Semantics |
| December 11: Quantales |
| December 11: Properties of Orderings and Lattices |
| 2017 |
| June 13: Partial Semigroups and Convolution Algebras |
| 2016 |
| June 18: Program Construction and Verification Components Based on Kleene Algebra |
| April 12: Kleene Algebras with Domain |
| 2015 |
| June 11: Binary Multirelations |
| April 15: Residuated Lattices |
| 2014 |
| May 21: Regular Algebras |
| January 25: Relation Algebra |
| January 23: Kleene Algebra with Tests and Demonic Refinement Algebras |
| 2013 |
| January 15: Kleene Algebra |