%0 Conference Paper %1 conf/itp/BraibantJM13 %A Braibant, Thomas %A Jourdan, Jacques-Henri %A Monniaux, David %B ITP %D 2013 %E Blazy, Sandrine %E Paulin-Mohring, Christine %E Pichardie, David %I Springer %K dblp %P 477-483 %T Implementing Hash-Consed Structures in Coq. %U http://dblp.uni-trier.de/db/conf/itp/itp2013.html#BraibantJM13 %V 7998 %@ 978-3-642-39633-5

@inproceedings{conf/itp/BraibantJM13, added-at = {2022-10-02T00:00:00.000+0200}, author = {Braibant, Thomas and Jourdan, Jacques-Henri and Monniaux, David}, biburl = {https://www.bibsonomy.org/bibtex/265d9ae61e888b187e245c87adb14848d/dblp}, booktitle = {ITP}, crossref = {conf/itp/2013}, editor = {Blazy, Sandrine and Paulin-Mohring, Christine and Pichardie, David}, ee = {https://doi.org/10.1007/978-3-642-39634-2_36}, interhash = {971b68a1bee913f059de03f19d5986bc}, intrahash = {65d9ae61e888b187e245c87adb14848d}, isbn = {978-3-642-39633-5}, keywords = {dblp}, pages = {477-483}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T15:10:19.000+0200}, title = {Implementing Hash-Consed Structures in Coq.}, url = {http://dblp.uni-trier.de/db/conf/itp/itp2013.html#BraibantJM13}, volume = 7998, year = 2013 }