Number of the records: 1

Simulating non-prenex cuts in quantified propositional calculus

SYSNO	0364309
Title	Simulating non-prenex cuts in quantified propositional calculus
Author(s)	Jeřábek, Emil (MU-W)_{RID, SAI, ORCID} Nguyen, P. (CA)
Source Title	Mathematical Logic Quarterly. Roč. 57, č. 5 (2011), s. 524-532. - : Wiley
Document Type	Článek v odborném periodiku
Grant	IAA100190902 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	DE
Keywords	proof complexity * prenex cuts * quantified propositional calculus
URL	http://onlinelibrary.wiley.com/doi/10.1002/malq.201020093/abstract
Permanent Link	http://hdl.handle.net/11104/0199828

	File	Download	Size	Commentary	Version	Access
	Jerabek2.pdf	1	119.4 KB		Publisher’s postprint	require

Number of the records: 1