The Complexity of Satisfaction Problems in Reverse Mathematics
Computability - Netherlands
doi 10.3233/com-150034
Full Text
Open PDFAbstract
Available in full text
Categories
Date
January 1, 2015
Authors
Publisher
IOS Press
Available in full text
January 1, 2015
IOS Press