Monadic Second Order Logic, Tree Automata and Forbidden Minors

Stefan Arnborg, Andrzej Proskurowski, Detlef Seese. Monadic Second Order Logic, Tree Automata and Forbidden Minors. In Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld, editors, Computer Science Logic, 4th Workshop, CSL 90, Heidelberg, Germany, October 1-5, 1990, Proceedings. Volume 533 of Lecture Notes in Computer Science, pages 1-16, Springer, 1990.

Abstract

Abstract is missing.