BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
non (3)
logic (3)
cut (2)
intuitionist (2)
elimin (2)

Stem prenex$ (all stems)

6 papers:

CSLCSL-2015-BaazF #logic
Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic Logic (MB, CGF), pp. 94–109.
Tree Grammars for the Elimination of Non-prenex Cuts (SH, SZ), pp. 110–127.
CSLCSL-2010-BaazF #logic
A Resolution Mechanism for Prenex Gödel Logic (MB, CGF), pp. 67–79.
ICSTSAT-2010-KlieberSGC #learning
A Non-prenex, Non-clausal QBF Solver with Game-State Learning (WK, SS, SG, EMC), pp. 128–142.
ICSTSAT-2003-EglySTWZ #quantifier
Comparing Different Prenexing Strategies for Quantified Boolean Formulas (UE, MS, HT, SW, MZ), pp. 214–228.
LICSLICS-1996-DegtyarevV #decidability #logic #problem
Decidability Problems for the Prenex Fragment of Intuitionistic Logic (AD, AV), pp. 503–512.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.