Inproceedings,
Deduction with Contradictions in Datalog.
S. Abiteboul, D. Deutch, and V. Vianu.ICDT, page 143-154. OpenProceedings.org, (2014)
Meta data
- BibTeX key
- conf/icdt/AbiteboulDV14
- entry type
- inproceedings
- booktitle
- ICDT
- year
- 2014
- pages
- 143-154
- publisher
- OpenProceedings.org
- crossref
- conf/icdt/2014
- ee
- https://doi.org/10.5441/002/icdt.2014.17
- url
- http://dblp.uni-trier.de/db/conf/icdt/icdt2014.html#AbiteboulDV14
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/icdt/AbiteboulDV14
%A Abiteboul, Serge
%A Deutch, Daniel
%A Vianu, Victor
%B ICDT
%D 2014
%E Schweikardt, Nicole
%E Christophides, Vassilis
%E Leroy, Vincent
%I OpenProceedings.org
%K dblp
%P 143-154
%T Deduction with Contradictions in Datalog.
%U http://dblp.uni-trier.de/db/conf/icdt/icdt2014.html#AbiteboulDV14
@inproceedings{conf/icdt/AbiteboulDV14,
added-at = {2017-05-23T00:00:00.000+0200},
author = {Abiteboul, Serge and Deutch, Daniel and Vianu, Victor},
biburl = {https://www.bibsonomy.org/bibtex/27aa111dad35a44c701e80c3d4e11741f/dblp},
booktitle = {ICDT},
crossref = {conf/icdt/2014},
editor = {Schweikardt, Nicole and Christophides, Vassilis and Leroy, Vincent},
ee = {https://doi.org/10.5441/002/icdt.2014.17},
interhash = {f7e9cd77542fe721d4cb45ea87e07618},
intrahash = {7aa111dad35a44c701e80c3d4e11741f},
keywords = {dblp},
pages = {143-154},
publisher = {OpenProceedings.org},
timestamp = {2018-01-17T11:40:30.000+0100},
title = {Deduction with Contradictions in Datalog.},
url = {http://dblp.uni-trier.de/db/conf/icdt/icdt2014.html#AbiteboulDV14},
year = 2014
}