Activities per year
| Original language | English |
|---|---|
| DOIs | |
| Publication status | Published - 21 Dec 2022 |
Activities
-
Completeness and the Finite Model Property for Kleene Algebra, Reconsidered
Kappé, T. (Speaker)
16 Jun 2023Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
-
Completeness and the Finite Model Property for Kleene Algebra, Reconsidered
Kappé, T. (Speaker)
4 Apr 2023Activity: Talk or presentation types › Conference contribution (without a publication) › Academic
-
20th International Conference on Relational and Algebraic Methods in Computer Science
Kappé, T. (Participant / Attendee)
3 Apr 2023 → 6 Apr 2023Activity: Attending or organising an event types › Attending an event › Academic
Research output
- 1 Conference Article in proceeding
-
Completeness and the Finite Model Property for Kleene Algebra, Reconsidered
Kappé, T., 2023, Relational and Algebraic Methods in Computer Science. Glück, R., Santocanale, L. & Winter, M. (eds.). Springer, p. 158-175 18 p. (Lecture Notes in Computer Science book series, Vol. 13896).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access