Počet záznamů: 1

From feasible proofs to feasible computations

SYSNO	0353758
Název	From feasible proofs to feasible computations
Tvůrce(i)	Krajíček, Jan (MU-W)_{SAI, ORCID}
Zdroj.dok.	Computer Science Logic 2010. S. 22-31. - Heidelberg : Springer, 2010 / Dawar A. ; Veith H.
Konference	Computer science logic 2010, Brno, 23.08.2010-27.08.2010
Druh dok.	Konferenční příspěvek (zahraniční konf.)
Grant	IAA100190902 GA AV ČR - Akademie věd
	LC505 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy
CEZ	AV0Z10190503 - MU-W (2005-2011)
Jazyk dok.	eng
Země vyd.	DE
Klíč.slova	lengths of proofs * computational time
URL	http://link.springer.com/chapter/10.1007%2F978-3-642-15205-4_3
Trvalý link	http://hdl.handle.net/11104/0192912

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

Počet záznamů: 1