Completeness and the Finite Model Property for Kleene Algebra, Reconsidered

  • Tobias Kappé (Speaker)

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

Period4 Apr 2023
Event title20th International Conference on Relational and Algebraic Methods in Computer Science
Event typeConference
Conference number20
LocationAugsburg, GermanyShow on map
Degree of RecognitionInternational

Related content