Simulating non-prenex cuts in quantified propositional calculus

Jeřábek Emil



Název
Simulating non-prenex cuts in quantified propositional calculus
Autor
lupa Jeřábek Emil MU-W - Matematický ústav AV ČR, v. v. i.
Spoluautoři
lupa Nguyen P.
Zdroj.dok.
lupa Mathematical Logic Quarterly. Roč. 57, č. 5 (2011), s. 524-532
Vyd.údaje
9 s.
Druh dok.
J
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
Databáze
zj - Článek v odborném časopise
URL
http://onlinelibrary.wiley.com/doi/10.1002/malq.201020093/abstract
Trvalý link
http://hdl.handle.net/11104/0199828