Completeness and the Finite Model Property for Kleene Algebra, Reconsidered (Coq formalization)

  • Tobias Kappé

    Research output: Non-textual form and Research tools › Software › Academic

    • 1 Conference Article in proceeding

    Search results

    • 2023

      Completeness and the Finite Model Property for Kleene Algebra, Reconsidered

      Kappé, T., 2023, Relational and Algebraic Methods in Computer Science. Glück, R., Santocanale, L. & Winter, M. (eds.). Springer, p. 158-175 18 p. (Lecture Notes in Computer Science book series, Vol. 13896).

      Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

      Open Access