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)

1 results
- Title
- Start date(ascending)

Filter

20th International Conference on Relational and Algebraic Methods in Computer Science
Kappé, T. (Participant / Attendee)
3 Apr 2023 → 6 Apr 2023
Activity: Attending or organising an event types › Attending an event › Academic