Theoretical Computer Science, Volume 257

Volume 257, Number 1-2, 28 April 2001

Weak Arithmetics
a service of Schloss Dagstuhl - Leibniz Center for Informatics