Damien Pous, Jana Wagemaker, Completeness Theorems for Kleene algebra with tests and top, Logical Methods in Computer Science, Volume 20, Issue 3 (September 30, 2024). (doi:10.46298/lmcs-20(3:27)2024, arXiv:2304.07190)
Damien Pous, Jurriaan Rot, Jana Wagemaker, On Tools for Completeness of Kleene Algebra with Hypotheses, Logical Methods in Computer Science, Volume 20, Issue 2 (May 16, 2024). (doi:10.46298/lmcs-20(2:8)2024, arXiv:2210.13020)
Jana Wagemaker, Extensions of (Concurrent) Kleene Algebra, Thesis (pdf)
Created on April 11, 2025 at 04:23:04. See the history of this page for a list of all contributions to it.