Master Computer Science

The following thesis was written by a student in the 2020-2021 class of the Master Computer Science programme at Leiden University.

Thesis details

TitleFormal Semantics of ALCH
StudentDekker, Loes
ProgrammeMaster Computer Science
Supervisorsdr. H. Basold (first supervisor)
prof.dr. H.C.M. Kleijn (second supervisor)
Thesis Open Thesis PDF

Citation details

Dekker, Loes, Formal Semantics of ALCH, Thesis Master Computer Science, LIACS, Leiden University, 2021.