The Complexity of Resource-Bounded First-Order Classical Logic.

Jean Goubault

Browse the full STACS paper archive.