Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/pods/AbouziedAPHS13
%A Abouzied, Azza
%A Angluin, Dana
%A Papadimitriou, Christos H.
%A Hellerstein, Joseph M.
%A Silberschatz, Avi
%B PODS
%D 2013
%E Hull, Richard
%E Fan, Wenfei
%I ACM
%K dblp
%P 49-60
%T Learning and verifying quantified boolean queries by example.
%U http://dblp.uni-trier.de/db/conf/pods/pods2013.html#AbouziedAPHS13
%@ 978-1-4503-2066-5
@inproceedings{conf/pods/AbouziedAPHS13,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Abouzied, Azza and Angluin, Dana and Papadimitriou, Christos H. and Hellerstein, Joseph M. and Silberschatz, Avi},
biburl = {https://www.bibsonomy.org/bibtex/28d024ac181a13170b47b7c0741848e8c/dblp},
booktitle = {PODS},
crossref = {conf/pods/2013},
editor = {Hull, Richard and Fan, Wenfei},
ee = {https://doi.org/10.1145/2463664.2465220},
interhash = {7059c26faf4faacb28c8d03dab85efea},
intrahash = {8d024ac181a13170b47b7c0741848e8c},
isbn = {978-1-4503-2066-5},
keywords = {dblp},
pages = {49-60},
publisher = {ACM},
timestamp = {2018-11-07T15:28:57.000+0100},
title = {Learning and verifying quantified boolean queries by example.},
url = {http://dblp.uni-trier.de/db/conf/pods/pods2013.html#AbouziedAPHS13},
year = 2013
}