Počet záznamů: 1

The provably total search problems of bounded arithmetic

SYSNO	0369680
Název	The provably total search problems of bounded arithmetic
Tvůrce(i)	Skelley, A. (CA) Thapen, Neil (MU-W)_{RID, SAI}
Zdroj.dok.	Proceedings of the London Mathematical Society. Roč. 103, č. 1 (2011), s. 106-138
Druh dok.	Článek v odborném periodiku
Grant	LC505 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy
CEZ	AV0Z10190503 - MU-W (2005-2011)
Jazyk dok.	eng
Země vyd.	GB
Klíč.slova	Pigeonhole principle * polynomial hierarchy * local search
URL	http://plms.oxfordjournals.org/content/103/1/106
Trvalý link	http://hdl.handle.net/11104/0203689

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	Thapen2.pdf	6	329.4 KB		Vydavatelský postprint	vyžádat

Počet záznamů: 1