iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.uni-trier.de/rec/conf/lics/BovaM17.ris
Provider: Schloss Dagstuhl - Leibniz Center for Informatics Database: dblp computer science bibliography Content:text/plain; charset="utf-8" TY - CPAPER ID - DBLP:conf/lics/BovaM17 AU - Bova, Simone AU - Mogavero, Fabio TI - Herbrand property, finite quasi-Herbrand models, and a Chandra-Merlin theorem for quantified conjunctive queries. BT - 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017 SP - 1 EP - 12 PY - 2017// DO - 10.1109/LICS.2017.8005073 UR - https://doi.org/10.1109/LICS.2017.8005073 UR - https://doi.ieeecomputersociety.org/10.1109/LICS.2017.8005073 ER -