%0 Conference Paper %1 conf/iclp/ZanioloYIDSC18 %A Zaniolo, Carlo %A Yang, Mohan %A Interlandi, Matteo %A Das, Ariyam %A Shkapsky, Alexander %A Condie, Tyson %B ICLP (Technical Communications) %D 2018 %E Palù, Alessandro Dal %E Tarau, Paul %E Saeedloei, Neda %E Fodor, Paul %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 9:1-9:3 %T Declarative Algorithms in Datalog with Extrema: Their Formal Semantics Simplified. %U http://dblp.uni-trier.de/db/conf/iclp/iclp2018.html#ZanioloYIDSC18 %V 64 %@ 978-3-95977-090-3

@inproceedings{conf/iclp/ZanioloYIDSC18, added-at = {2019-05-16T00:00:00.000+0200}, author = {Zaniolo, Carlo and Yang, Mohan and Interlandi, Matteo and Das, Ariyam and Shkapsky, Alexander and Condie, Tyson}, biburl = {https://www.bibsonomy.org/bibtex/29bb4e8beb477b37bca9ec43c3ca46431/dblp}, booktitle = {ICLP (Technical Communications)}, crossref = {conf/iclp/2018}, editor = {Palù, Alessandro Dal and Tarau, Paul and Saeedloei, Neda and Fodor, Paul}, ee = {https://doi.org/10.4230/OASIcs.ICLP.2018.9}, interhash = {555eb5f2acfe160c8276dbc26f7e317d}, intrahash = {9bb4e8beb477b37bca9ec43c3ca46431}, isbn = {978-3-95977-090-3}, keywords = {dblp}, pages = {9:1-9:3}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {OASIcs}, timestamp = {2024-04-09T16:09:44.000+0200}, title = {Declarative Algorithms in Datalog with Extrema: Their Formal Semantics Simplified.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp2018.html#ZanioloYIDSC18}, volume = 64, year = 2018 }