research
∙
11/21/2022
Finite Model Properties for Residuated Semigroups
We have a quick look at various finite model properties for residuated s...
research
∙
09/25/2020
The algebra of non-deterministic programs: demonic operators, orders and axioms
Demonic composition, demonic refinement and demonic union are alternativ...
research
∙
10/30/2018