Number of the records: 1

A form of feasible interpolation for constant depth Frege systems

SYSNO	0353751
Title	A form of feasible interpolation for constant depth Frege systems
Author(s)	Krajíček, Jan (MU-W)_{SAI, ORCID}
Source Title	Journal of Symbolic Logic. Roč. 75, č. 2 (2010), s. 774-784. - : Cambridge University Press
Document Type	Článek v odborném periodiku
Grant	IAA100190902 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR)
	LC505 GA MŠMT - Ministry of Education, Youth and Sports (MEYS)
CEZ	AV0Z10190503 - MU-W (2005-2011)
Language	eng
Country	US
Keywords	feasible interpolation * Frege proof systems * lower bounds
URL	http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9061183&fileId=S0022481200002772
Permanent Link	http://hdl.handle.net/11104/0192907

	File	Download	Size	Commentary	Version	Access
	Krajicek2.pdf	1	134.5 KB		Publisher’s postprint	require

Number of the records: 1