default search action
BibTeX record conf/icdt/AbiteboulDV14
@inproceedings{DBLP:conf/icdt/AbiteboulDV14, author = {Serge Abiteboul and Daniel Deutch and Victor Vianu}, editor = {Nicole Schweikardt and Vassilis Christophides and Vincent Leroy}, title = {Deduction with Contradictions in Datalog}, booktitle = {Proc. 17th International Conference on Database Theory (ICDT), Athens, Greece, March 24-28, 2014}, pages = {143--154}, publisher = {OpenProceedings.org}, year = {2014}, url = {https://doi.org/10.5441/002/icdt.2014.17}, doi = {10.5441/002/ICDT.2014.17}, timestamp = {Tue, 16 Jan 2018 17:46:10 +0100}, biburl = {https://dblp.org/rec/conf/icdt/AbiteboulDV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.