%0 Conference Paper %1 conf/ppdp/EchahedEMP21 %A Echahed, Rachid %A Echenim, Mnacho %A Mhalla, Mehdi %A Peltier, Nicolas %B PPDP %D 2021 %E Veltri, Niccolò %E Benton, Nick %E Ghilezan, Silvia %I ACM %K dblp %P 10:1-10:13 %T A Superposition-Based Calculus for Diagrammatic Reasoning. %U http://dblp.uni-trier.de/db/conf/ppdp/ppdp2021.html#EchahedEMP21 %@ 978-1-4503-8689-0

@inproceedings{conf/ppdp/EchahedEMP21, added-at = {2021-10-27T00:00:00.000+0200}, author = {Echahed, Rachid and Echenim, Mnacho and Mhalla, Mehdi and Peltier, Nicolas}, biburl = {https://www.bibsonomy.org/bibtex/29bf280e8fd52978b6a358585ded8dd12/dblp}, booktitle = {PPDP}, crossref = {conf/ppdp/2021}, editor = {Veltri, Niccolò and Benton, Nick and Ghilezan, Silvia}, ee = {https://doi.org/10.1145/3479394.3479405}, interhash = {096ea5d87115fa10b5c42343f656e5d7}, intrahash = {9bf280e8fd52978b6a358585ded8dd12}, isbn = {978-1-4503-8689-0}, keywords = {dblp}, pages = {10:1-10:13}, publisher = {ACM}, timestamp = {2024-04-09T21:36:32.000+0200}, title = {A Superposition-Based Calculus for Diagrammatic Reasoning.}, url = {http://dblp.uni-trier.de/db/conf/ppdp/ppdp2021.html#EchahedEMP21}, year = 2021 }