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 ICE-TCS seminar
Period6 Sept 2023
Held atReykjavik University, Iceland
Degree of RecognitionInternational