Completeness and the Finite Model Property for Kleene Algebra, Reconsidered

Activity: Talk or presentation types › Conference contribution (without a publication) › Academic

Period	4 Apr 2023
Event title	20th International Conference on Relational and Algebraic Methods in Computer Science
Event type	Conference
Conference number	20
Location	Augsburg, GermanyShow on map
Degree of Recognition	International

Related content