From the 1 of 1 paper with an AI index.
1 paper
Lukas Mulder, Damien Pous, Jana Wagemaker
The paper introduces a unified framework for many Kleene algebra variants by using continuous algebras ordered by complete lattices, gives a canonical model of closed languages, an…