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
StudentJ.P. van Best
ProgrammeMaster Computer Science
Thesis Open Thesis PDF

Citation details

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