On theories of bounded arithmetic for NC1

Number of the records: 1

1.

SYSNO	0353280
Title	On theories of bounded arithmetic for NC1
Author(s)	Jeřábek, Emil (MU-W)_{RID, SAI, ORCID}
Source Title	Annals of Pure and Applied Logic. Roč. 162, č. 4 (2011), s. 322-340. - : Elsevier
Document Type	Článek v odborném periodiku
Grant	IAA1019401 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR)
	1M0545 GA MŠMT - Ministry of Education, Youth and Sports (MEYS), CZ - Czech Republic
CEZ	AV0Z10190503 - MU-W (2005-2011)
Language	eng
Country	NL
Keywords	bounded arithmetic * circuit complexity * propositional translation
URL	http://www.sciencedirect.com/science/article/pii/S0168007210001260
Permanent Link	http://hdl.handle.net/11104/0192570

	File	Download	Size	Commentary	Version	Access
	Jerabek1.pdf	1	361 KB		Publisher’s postprint	require

Number of the records: 1