Počet záznamů: 1

Simulating non-prenex cuts in quantified propositional calculus

SYSNO	0364309
Název	Simulating non-prenex cuts in quantified propositional calculus
Tvůrce(i)	Jeřábek, Emil (MU-W)_{RID, SAI, ORCID} Nguyen, P. (CA)
Zdroj.dok.	Mathematical Logic Quarterly. Roč. 57, č. 5 (2011), s. 524-532. - : Wiley
Druh dok.	Článek v odborném periodiku
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 * prenex cuts * quantified propositional calculus
URL	http://onlinelibrary.wiley.com/doi/10.1002/malq.201020093/abstract
Trvalý link	http://hdl.handle.net/11104/0199828

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

Počet záznamů: 1