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
Filter
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