Number of the records: 1
Simulating non-prenex cuts in quantified propositional calculus
- 1.Jeřábek, E., Nguyen, P. Simulating non-prenex cuts in quantified propositional calculus. Mathematical Logic Quarterly. 2011, 57(5), 524-532. ISSN 0942-5616. E-ISSN 1521-3870. Available: doi: 10.1002/malq.201020093.
Number of the records: 1