Google Research

The provably total search problems of bounded arithmetic

Alan Skelley
Neil Thapen
Proceedings of the London Mathematical Society (2011), pp. 1-33
Download Google Scholar

Abstract

Research Areas

×