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

Tobias Kappé

Department of Computer Science

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)

1 results
- Title
- Start date(ascending)

Filter

Completeness and the Finite Model Property for Kleene Algebra, Reconsidered
Kappé, T. (Speaker)
4 Apr 2023
Activity: Talk or presentation types › Conference contribution (without a publication) › Academic