%0 Conference Paper %1 conf/cade/NiePLG20 %A Nie, Pengyu %A Palmskog, Karl %A Li, Junyi Jessy %A Gligoric, Milos %B IJCAR (2) %D 2020 %E Peltier, Nicolas %E Sofronie-Stokkermans, Viorica %I Springer %K dblp %P 97-118 %T Deep Generation of Coq Lemma Names Using Elaborated Terms. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2020-2.html#NiePLG20 %V 12167 %@ 978-3-030-51054-1

@inproceedings{conf/cade/NiePLG20, added-at = {2023-06-07T00:00:00.000+0200}, author = {Nie, Pengyu and Palmskog, Karl and Li, Junyi Jessy and Gligoric, Milos}, biburl = {https://www.bibsonomy.org/bibtex/29bf802a996bde36ef2aa4c6d40b4dd2f/dblp}, booktitle = {IJCAR (2)}, crossref = {conf/cade/2020-2}, editor = {Peltier, Nicolas and Sofronie-Stokkermans, Viorica}, ee = {https://doi.org/10.1007/978-3-030-51054-1_6}, interhash = {07525fb56fdf3b2d64626ef5f462bcaf}, intrahash = {9bf802a996bde36ef2aa4c6d40b4dd2f}, isbn = {978-3-030-51054-1}, keywords = {dblp}, pages = {97-118}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T05:45:30.000+0200}, title = {Deep Generation of Coq Lemma Names Using Elaborated Terms.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2020-2.html#NiePLG20}, volume = 12167, year = 2020 }