1 paper
Damien Pous, Jurriaan Rot, Jana Wagemaker
In the literature on Kleene algebra, a number of variants have been proposed which impose additional structure specified by a theory, such as Kleene algebra with tests (KAT) and th…