The provable total search problems of bounded arithmetic (2007)

by Alan Skelley , Neil Thapen
Citations:8 - 4 self