Completeness and the Finite Model Property for Kleene Algebra, Reconsidered (Coq formalization)

Research output: Non-textual form › Software › Academic

Original language	English
DOIs	https://doi.org/10.5281/zenodo.7467245
Publication status	Published - 21 Dec 2022

Access to Document

10.5281/zenodo.7467245Licence: Other

https://github.com/TobiasKappe/ka-fmp-proofsLicence: Other

Cite this