Authors
T.W.J. Kappé
Date (dd-mm-yyyy)
2022
Title
Completeness and the Finite Model Property for Kleene Algebra, Reconsidered (Coq formalization)
Publication Year
2022
Document type
Software
Permalink
https://hdl.handle.net/11245.1/85699b01-90ad-4881-806d-ce92f06888c9