Bachelor Informatica



The following thesis was written by a student in the 2024-2025 class of the Bachelor Informatica programme at Leiden University.


Thesis details

TitleCompleteness and Decidability of (Guarded) Kleene Algebra (with Tests) under the Hypothesis e = 0
StudentRaven, J. (Jip)
ProgrammeBachelor Informatica
Year2024-2025
SupervisorsDr. T.W.J. Kappé (first supervisor)
L.W. Chung (second supervisor)
Thesis Open Thesis PDF

Citation details

Raven, J. (Jip), Completeness and Decidability of (Guarded) Kleene Algebra (with Tests) under the Hypothesis e = 0, Thesis Bachelor Informatica, LIACS, Leiden University, 2025.