The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations

From MaRDI portal
Publication:737087

DOI10.1016/j.entcs.2016.03.006zbMath1345.03020arXiv1506.01476OpenAlexW2962833833WikidataQ113317699 ScholiaQ113317699MaRDI QIDQ737087

Marianna Nicolosi-Asmundo, Domenico Cantone

Publication date: 5 August 2016

Full work available at URL: https://arxiv.org/abs/1506.01476



Related Items



Cites Work