%0 Conference Paper %1 conf/lopstr/HerasPR10 %A Heras, Jónathan %A Pascual, Vico %A Rubio, Julio %B LOPSTR %D 2010 %E Alpuente, María %I Springer %K dblp %P 37-51 %T Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System. %U http://dblp.uni-trier.de/db/conf/lopstr/lopstr2010.html#HerasPR10 %V 6564 %@ 978-3-642-20550-7

@inproceedings{conf/lopstr/HerasPR10, added-at = {2020-11-17T00:00:00.000+0100}, author = {Heras, Jónathan and Pascual, Vico and Rubio, Julio}, biburl = {https://www.bibsonomy.org/bibtex/28030b8d3c59eaa4e5f6757012f5a3ec2/dblp}, booktitle = {LOPSTR}, crossref = {conf/lopstr/2010}, editor = {Alpuente, María}, ee = {https://doi.org/10.1007/978-3-642-20551-4_3}, interhash = {cdd6bf5f04ba5ac9743f6441bd5a6678}, intrahash = {8030b8d3c59eaa4e5f6757012f5a3ec2}, isbn = {978-3-642-20550-7}, keywords = {dblp}, pages = {37-51}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-11-19T11:38:16.000+0100}, title = {Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System.}, url = {http://dblp.uni-trier.de/db/conf/lopstr/lopstr2010.html#HerasPR10}, volume = 6564, year = 2010 }