The Complexity of Satisfaction Problems in Reverse Mathematics.

Ludovic Patey

Browse the full CiE paper archive.