%0 Conference Paper %1 journals/corr/abs-1304-7875 %A Joosten, Sebastiaan J. C. %A van Gastel, Bernard %A Schmaltz, Julien %B ACL2 %D 2013 %E Gamboa, Ruben %E Davis, Jared %K dblp %P 29-41 %T A Macro for Reusing Abstract Functions and Theorems %U http://dblp.uni-trier.de/db/series/eptcs/eptcs114.html#abs-1304-7875 %V 114

@inproceedings{journals/corr/abs-1304-7875, added-at = {2023-08-28T00:00:00.000+0200}, author = {Joosten, Sebastiaan J. C. and van Gastel, Bernard and Schmaltz, Julien}, biburl = {https://www.bibsonomy.org/bibtex/21c2a55fa875e3d13c6af7b463727080c/dblp}, booktitle = {ACL2}, crossref = {journals/corr/abs-1304-7123}, editor = {Gamboa, Ruben and Davis, Jared}, ee = {https://www.wikidata.org/entity/Q119520901}, interhash = {7ab93792521f1b437f6890e52f84bc48}, intrahash = {1c2a55fa875e3d13c6af7b463727080c}, keywords = {dblp}, pages = {29-41}, series = {EPTCS}, timestamp = {2024-04-10T20:08:28.000+0200}, title = {A Macro for Reusing Abstract Functions and Theorems}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs114.html#abs-1304-7875}, volume = 114, year = 2013 }