Alberto Policriti. On the Decidability of the ∃*∀* Prefix Class in Set Theory. In Domenico Cantone, Marianna Nicolosi Asmundo, editors, Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013. Volume 1068 of CEUR Workshop Proceedings, pages 13, CEUR-WS.org, 2013. [doi]
@inproceedings{Policriti13, title = {On the Decidability of the ∃*∀* Prefix Class in Set Theory}, author = {Alberto Policriti}, year = {2013}, url = {http://ceur-ws.org/Vol-1068/paper-i04.pdf}, researchr = {https://researchr.org/publication/Policriti13}, cites = {0}, citedby = {0}, pages = {13}, booktitle = {Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013}, editor = {Domenico Cantone and Marianna Nicolosi Asmundo}, volume = {1068}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, }