Original language | English |
---|---|
DOIs | |
Publication status | Published - 21 Dec 2022 |
Completeness and the Finite Model Property for Kleene Algebra, Reconsidered (Coq formalization)
Research output: Non-textual form › Software › Academic
Research output: Non-textual form › Software › Academic
Original language | English |
---|---|
DOIs | |
Publication status | Published - 21 Dec 2022 |