Tree-Walking Automata and Monadic Second Order Logic
Joshua Best · 1998
This report describes the results of a study in the field of theoretical computer science. It was written as my "doctoraalscriptie" (Master's thesis) for my study of Computer Science at Leiden University. The graduation tutor from the Department of Computer Science was J. Engelfriet, PhD