researchers with a paper here

1 paper

cs.LO2026

Continuous Algebras with Hypotheses

Lukas Mulder, Damien Pous, Jana Wagemaker

In the literature on Kleene algebra (KA), a number of variants have been proposed such as Kleene algebra with tests, commutative KA, bi-KA, and concurrent KA. The equational theori…