11 citations · 43 across the 14 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.LO2021★ 2 cited
A corrected strategy for proving no finite variable axiomatisation exists for RRA
Rob Egrot, Robin Hirsch
We show that if for all finite there is a pair of non-isomorphic finite digraphs satisfying some additional conditions, one of which is that they cannot be distinguished in a c…
cs.LO2021
Demonic Lattices and Semilattices in Relational Semigroups with Ordinary Composition
Robin Hirsch, Jaš Šemrl
Relation algebra and its reducts provide us with a strong tool for reasoning about nondeterministic programs and their partial correctness. Demonic calculus, introduced to model th…