20th International Conference on Relational and Algebraic Methods in Computer Science

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