Completeness and the Finite Model Property for Kleene Algebra, Reconsidered

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

Description

Talk given at the (i)Po(m)set Online Seminar
Period16 Jun 2023
Held atÉcole Pour l'Informatique et les Techniques Avancées (EPITA), France
Degree of RecognitionInternational