Completeness and the Finite Model Property for Kleene Algebra, Reconsidered

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

Description

Talk given at the (i)Po(m)set Online Seminar

Period	16 Jun 2023
Held at	École Pour l'Informatique et les Techniques Avancées (EPITA), France
Degree of Recognition	International

Research output
Completeness and the Finite Model Property for Kleene Algebra, Reconsidered (Coq formalization)
Research output: Non-textual form › Software › Academic
Completeness and the Finite Model Property for Kleene Algebra, Reconsidered
Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review