A Survey of Some Recent Results on Computational Complexity in Weak Theories of Arithmetic.

Deborah Joseph, Paul Young

Browse the full MFCS paper archive.