The provably total search problems of bounded arithmetic

0369680 - MÚ 2012 RIV GB eng J - Článek v odborném periodiku
Skelley, A. - Thapen, Neil
The provably total search problems of bounded arithmetic.
Proceedings of the London Mathematical Society. Roč. 103, č. 1 (2011), s. 106-138. ISSN 0024-6115. E-ISSN 1460-244X
Grant CEP: GA MŠMT LC505
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: Pigeonhole principle * polynomial hierarchy * local search
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.324, rok: 2011
http://plms.oxfordjournals.org/content/103/1/106

Trvalý link: http://hdl.handle.net/11104/0203689