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

Activities

Activities per year 2023 2023 2023

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

Activities per year

Search results

• 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

• 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

• Completeness and the Finite Model Property for Kleene Algebra, Reconsidered

  Kappé, T. (Speaker)

  6 Sept 2023

  Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic

• Completeness and the Finite Model Property for Kleene Algebra, Reconsidered

  Kappé, T. (Speaker)

  28 Mar 2023

  Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic

• Completeness and the Finite Model Property for Kleene Algebra, Reconsidered

  Kappé, T. (Speaker)

  16 Jun 2023

  Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic