Počet záznamů: 1

Higher complexity search problems for bounded arithmetic and a formalized no-gap theorem

SYSNO	0369682
Název	Higher complexity search problems for bounded arithmetic and a formalized no-gap theorem
Tvůrce(i)	Thapen, Neil (MU-W)_{RID, SAI}
Zdroj.dok.	Archive for Mathematical Logic. Roč. 50, 7-8 (2011), s. 665-680. - : Springer
Druh dok.	Článek v odborném periodiku
Grant	IAA100190902 GA AV ČR - Akademie věd
	LC505 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy
	1M0545 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy, CZ - Česká republika
CEZ	AV0Z10190503 - MU-W (2005-2011)
Jazyk dok.	eng
Země vyd.	DE
Klíč.slova	bounded arithmetic * proof complexity * search problems
URL	http://www.springerlink.com/content/l19kr20362065t86/
Trvalý link	http://hdl.handle.net/11104/0203691

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	Thapen1.pdf	1	239.5 KB		Vydavatelský postprint	vyžádat

Počet záznamů: 1