Master Computer Science



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


Thesis details

TitleTree-Walking Automata and Monadic Second Order Logic
StudentBest, J.P. (Jan-Pascal) van
ProgrammeMaster Computer Science
Year1998
SupervisorsEngelfriet, dr. J. (Joost)
Thesis Open Thesis PDF

Citation details

Best, J.P. (Jan-Pascal) van, Tree-Walking Automata and Monadic Second Order Logic, Thesis Master Computer Science, LIACS, Leiden University, 1998.