%0 Conference Paper %1 conf/acl2/CowlesG06 %A Cowles, John R. %A Gamboa, Ruben %B ACL2 %D 2006 %E Manolios, Panagiotis %E Wilding, Matthew %I ACM %K dblp %P 21-27 %T Unique factorization in ACL2: Euclidean domains. %U http://dblp.uni-trier.de/db/conf/acl2/acl22006.html#CowlesG06 %@ 0-9788493-0-2

@inproceedings{conf/acl2/CowlesG06, added-at = {2018-11-06T00:00:00.000+0100}, author = {Cowles, John R. and Gamboa, Ruben}, biburl = {https://www.bibsonomy.org/bibtex/2ee91632f0e4d7a07f34ed60d3cc0da87/dblp}, booktitle = {ACL2}, crossref = {conf/acl2/2006}, editor = {Manolios, Panagiotis and Wilding, Matthew}, ee = {https://doi.org/10.1145/1217975.1217980}, interhash = {95a3d5b192382e515d55167bb870a4bf}, intrahash = {ee91632f0e4d7a07f34ed60d3cc0da87}, isbn = {0-9788493-0-2}, keywords = {dblp}, pages = {21-27}, publisher = {ACM}, timestamp = {2020-06-16T12:05:10.000+0200}, title = {Unique factorization in ACL2: Euclidean domains.}, url = {http://dblp.uni-trier.de/db/conf/acl2/acl22006.html#CowlesG06}, year = 2006 }