%0 Journal Article %1 journals/tcs/CantoneL14 %A Cantone, Domenico %A Longo, Cristiano %D 2014 %J Theor. Comput. Sci. %K dblp %P 307-325 %T A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions. %U http://dblp.uni-trier.de/db/journals/tcs/tcs560.html#CantoneL14 %V 560

@article{journals/tcs/CantoneL14, added-at = {2021-02-17T00:00:00.000+0100}, author = {Cantone, Domenico and Longo, Cristiano}, biburl = {https://www.bibsonomy.org/bibtex/229c29f3e3a5c8b9b02241b066d6f5e09/dblp}, ee = {https://doi.org/10.1016/j.tcs.2014.03.021}, interhash = {18dfd3401fca2580509330a36655291c}, intrahash = {29c29f3e3a5c8b9b02241b066d6f5e09}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, pages = {307-325}, timestamp = {2024-04-08T18:46:51.000+0200}, title = {A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs560.html#CantoneL14}, volume = 560, year = 2014 }