%0 Conference Paper %1 conf/acl2/BoyerHH06 %A Boyer, Robert S. %A Jr., Warren A. Hunt %B ACL2 %D 2006 %E Manolios, Panagiotis %E Wilding, Matthew %I ACM %K dblp %P 81-89 %T Function memoization and unique object representation for ACL2 functions. %U http://dblp.uni-trier.de/db/conf/acl2/acl22006.html#BoyerHH06 %@ 0-9788493-0-2

@inproceedings{conf/acl2/BoyerHH06, added-at = {2018-11-06T00:00:00.000+0100}, author = {Boyer, Robert S. and Jr., Warren A. Hunt}, biburl = {https://www.bibsonomy.org/bibtex/2ca25f3bce21562c9e9ce35d69170109a/dblp}, booktitle = {ACL2}, crossref = {conf/acl2/2006}, editor = {Manolios, Panagiotis and Wilding, Matthew}, ee = {https://doi.org/10.1145/1217975.1217992}, interhash = {5e01d92353a71061efa7121f382bbb44}, intrahash = {ca25f3bce21562c9e9ce35d69170109a}, isbn = {0-9788493-0-2}, keywords = {dblp}, pages = {81-89}, publisher = {ACM}, timestamp = {2020-06-16T12:05:10.000+0200}, title = {Function memoization and unique object representation for ACL2 functions.}, url = {http://dblp.uni-trier.de/db/conf/acl2/acl22006.html#BoyerHH06}, year = 2006 }