%0 Conference Paper %1 conf/coco/RezendeLN021 %A de Rezende, Susanna F. %A Lauria, Massimo %A Nordström, Jakob %A Sokolov, Dmitry %B CCC %D 2021 %E Kabanets, Valentine %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 40:1-40:24 %T The Power of Negative Reasoning. %U http://dblp.uni-trier.de/db/conf/coco/coco2021.html#RezendeLN021 %V 200 %@ 978-3-95977-193-1

@inproceedings{conf/coco/RezendeLN021, added-at = {2024-02-05T00:00:00.000+0100}, author = {de Rezende, Susanna F. and Lauria, Massimo and Nordström, Jakob and Sokolov, Dmitry}, biburl = {https://www.bibsonomy.org/bibtex/2c6886801249599fe6aece4990e6f0659/dblp}, booktitle = {CCC}, crossref = {conf/coco/2021}, editor = {Kabanets, Valentine}, ee = {https://doi.org/10.4230/LIPIcs.CCC.2021.40}, interhash = {fb757978208c38de7c8c2b32ed4e69ed}, intrahash = {c6886801249599fe6aece4990e6f0659}, isbn = {978-3-95977-193-1}, keywords = {dblp}, pages = {40:1-40:24}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T01:30:49.000+0200}, title = {The Power of Negative Reasoning.}, url = {http://dblp.uni-trier.de/db/conf/coco/coco2021.html#RezendeLN021}, volume = 200, year = 2021 }