Structure of Complexity in the Weak Monadic Second-Order Theories of the Natural Numbers

Edward L. Robertson

Browse the full STOC paper archive.