%0 Conference Paper %1 conf/cade/0007ZRLFB20 %A Sheng, Ying %A Zohar, Yoni %A Ringeissen, Christophe %A Lange, Jane %A Fontaine, Pascal %A Barrett, Clark W. %B IJCAR (1) %D 2020 %E Peltier, Nicolas %E Sofronie-Stokkermans, Viorica %I Springer %K dblp %P 238-255 %T Politeness for the Theory of Algebraic Datatypes. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2020-1.html#0007ZRLFB20 %V 12166 %@ 978-3-030-51074-9

@inproceedings{conf/cade/0007ZRLFB20, added-at = {2020-07-03T00:00:00.000+0200}, author = {Sheng, Ying and Zohar, Yoni and Ringeissen, Christophe and Lange, Jane and Fontaine, Pascal and Barrett, Clark W.}, biburl = {https://www.bibsonomy.org/bibtex/2b5a2b9f3abdeea9d8e85285c4a784dfa/dblp}, booktitle = {IJCAR (1)}, crossref = {conf/cade/2020-1}, editor = {Peltier, Nicolas and Sofronie-Stokkermans, Viorica}, ee = {https://doi.org/10.1007/978-3-030-51074-9_14}, interhash = {397d779d464d0c9335158a8ec7175e69}, intrahash = {b5a2b9f3abdeea9d8e85285c4a784dfa}, isbn = {978-3-030-51074-9}, keywords = {dblp}, pages = {238-255}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-04T12:03:27.000+0200}, title = {Politeness for the Theory of Algebraic Datatypes.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2020-1.html#0007ZRLFB20}, volume = 12166, year = 2020 }