Počet záznamů: 1

On extracting computations from propositional proofs

SYSNO	0422140
Název	On extracting computations from propositional proofs
Tvůrce(i)	Pudlák, Pavel (MU-W)_{RID, SAI}
Zdroj.dok.	IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. S. 30-41. - Wadem : Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2010 / Lodaya K. ; Mahajan M
Konference	International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010), /30./, Chennai, 15.12.2010-16.12.2010
Druh dok.	Konferenční příspěvek (zahraniční konf.)
Grant	IAA100190902 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.	DE
Klíč.slova	proof complexity * propositional tautology * boolean circuits
URL	http://drops.dagstuhl.de/opus/volltexte/2010/2851/
Trvalý link	http://hdl.handle.net/11104/0228350

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	Pudlak2.pdf	1	424.5 KB		Vydavatelský postprint	povolen

Počet záznamů: 1