Počet záznamů: 1

A sorting network in bounded arithmetic

SYSNO	0353276
Název	A sorting network in bounded arithmetic
Tvůrce(i)	Jeřábek, Emil (MU-W)_{RID, SAI, ORCID}
Zdroj.dok.	Annals of Pure and Applied Logic. Roč. 162, č. 4 (2011), s. 341-355. - : Elsevier
Druh dok.	Článek v odborném periodiku
Grant	IAA1019401 GA AV ČR - Akademie věd
	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.	NL
Klíč.slova	bounded arithmetic * sorting network * proof complexity * monotone sequent calculus
URL	http://www.sciencedirect.com/science/article/pii/S0168007210001272
Trvalý link	http://hdl.handle.net/11104/0192567

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

Počet záznamů: 1