The provably total search problems of bounded arithmetic
Skelley, A., Thapen, N.Volume:
103
Langue:
english
Journal:
Proceedings of the London Mathematical Society
DOI:
10.1112/plms/pdq044
Date:
July, 2011
Fichier:
PDF, 374 KB
english, 2011