Baumautomaten Christian Klein Betreuer : Tim Priesnitz SS 2003 Seminar Logische Aspekte von XML Gert Smolka Programming Systems Lab Universität des Saarlandes.