Skip to content

Monadic Second Order Logic, Tree Automata and Forbidden Minors.

Stefan Arnborg, Andrzej Proskurowski, Detlef Seese

VenueBCSL
Year1990
ProceedingsCSL

Browse the full CSL paper archive.