Počet záznamů: 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. Dostupné z: doi: 10.1002/malq.201020093.
Počet záznamů: 1