Počet záznamů: 1

A form of feasible interpolation for constant depth Frege systems

SYSNO	0353751
Název	A form of feasible interpolation for constant depth Frege systems
Tvůrce(i)	Krajíček, Jan (MU-W)_{SAI, ORCID}
Zdroj.dok.	Journal of Symbolic Logic. Roč. 75, č. 2 (2010), s. 774-784. - : Cambridge University Press
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
CEZ	AV0Z10190503 - MU-W (2005-2011)
Jazyk dok.	eng
Země vyd.	US
Klíč.slova	feasible interpolation * Frege proof systems * lower bounds
URL	http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9061183&fileId=S0022481200002772
Trvalý link	http://hdl.handle.net/11104/0192907

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

Počet záznamů: 1