Completeness Theorems for Kleene Algebra with Top

Damien Pous, Jana Wagemaker. Completeness Theorems for Kleene Algebra with Top. In Bartek Klin, Slawomir Lasota 0001, Anca Muscholl, editors, 33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland. Volume 243 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]

Authors

Damien Pous

This author has not been identified. Look up 'Damien Pous' in Google

Jana Wagemaker

This author has not been identified. Look up 'Jana Wagemaker' in Google