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

Title Tree-Walking Automata and Monadic Second Order Logic
Student J.P. van Best
Programme Master Computer Science
Year 1998
Thesis Open Thesis PDF

Citation details

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