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

Tobias Kappé

Research output: Non-textual form › 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