Completeness and the Finite Model Property for Kleene Algebra, Reconsidered

Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic

Period	28 Mar 2023
Held at	Department of Computer Science
Degree of Recognition	Local

Related content

Research output
Completeness and the Finite Model Property for Kleene Algebra, Reconsidered
Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Completeness and the Finite Model Property for Kleene Algebra, Reconsidered (Coq formalization)
Research output: Non-textual form › Software › Academic