Skip to main navigation Skip to search Skip to main content

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

  • Tobias Kappé

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

    • 3 Talk or presentation (not at a conference)
    • 1 Attending an event
    • 1 Conference contribution (without a publication)
    Filter
    Talk or presentation (not at a conference)

    Search results