Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Journal Article
%1 journals/corr/abs-1708-06121
%A Cantone, Domenico
%A Giarlotta, Alfio
%A Watson, Stephen
%D 2017
%J CoRR
%K dblp
%T The satisfiability problem for Boolean set theory with a choice correspondence (Extended version).
%U http://dblp.uni-trier.de/db/journals/corr/corr1708.html#abs-1708-06121
%V abs/1708.06121
@article{journals/corr/abs-1708-06121,
added-at = {2018-08-13T00:00:00.000+0200},
author = {Cantone, Domenico and Giarlotta, Alfio and Watson, Stephen},
biburl = {https://www.bibsonomy.org/bibtex/25810f580c2de98e38b8625a533425dbf/dblp},
ee = {http://arxiv.org/abs/1708.06121},
interhash = {ab75ab9cccfb7ce2763c7eb6fa4b2fa9},
intrahash = {5810f580c2de98e38b8625a533425dbf},
journal = {CoRR},
keywords = {dblp},
timestamp = {2018-08-14T14:39:59.000+0200},
title = {The satisfiability problem for Boolean set theory with a choice correspondence (Extended version).},
url = {http://dblp.uni-trier.de/db/journals/corr/corr1708.html#abs-1708-06121},
volume = {abs/1708.06121},
year = 2017
}