The Complexity of Automata and Subtheories of Monadic Second Order Arithmetics.

Andrzej Wlodzimierz Mostowski

Browse the full FCT paper archive.