Description
Talk given at the ICE-TCS seminarPeriod | 6 Sept 2023 |
---|---|
Held at | Reykjavik University, Iceland |
Degree of Recognition | International |
Related content
-
Activities
-
Reykjavik University
Activity: External appointment / Visiting an external institution types › Visiting researcher › Academic
-
Research output
-
Completeness and the Finite Model Property for Kleene Algebra, Reconsidered (Coq formalization)
Research output: Non-textual form › Software › Academic
-
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