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

Research output: Non-textual formSoftwareAcademic

Original languageEnglish
DOIs
Publication statusPublished - 21 Dec 2022

Cite this