%0 Conference Paper %1 conf/cade/BarbosaBF17 %A Barbosa, Haniel %A Blanchette, Jasmin Christian %A Fontaine, Pascal %B CADE %D 2017 %E de Moura, Leonardo %I Springer %K dblp %P 398-412 %T Scalable Fine-Grained Proofs for Formula Processing. %U http://dblp.uni-trier.de/db/conf/cade/cade2017.html#BarbosaBF17 %V 10395 %@ 978-3-319-63046-5

@inproceedings{conf/cade/BarbosaBF17, added-at = {2019-10-19T00:00:00.000+0200}, author = {Barbosa, Haniel and Blanchette, Jasmin Christian and Fontaine, Pascal}, biburl = {https://www.bibsonomy.org/bibtex/23e25dc3daddf5b5f2cb0c9a4f023c026/dblp}, booktitle = {CADE}, crossref = {conf/cade/2017}, editor = {de Moura, Leonardo}, ee = {https://doi.org/10.1007/978-3-319-63046-5_25}, interhash = {237e40f45f1a6ce8cf9e769ec22410fe}, intrahash = {3e25dc3daddf5b5f2cb0c9a4f023c026}, isbn = {978-3-319-63046-5}, keywords = {dblp}, pages = {398-412}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T18:55:05.000+0200}, title = {Scalable Fine-Grained Proofs for Formula Processing.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2017.html#BarbosaBF17}, volume = 10395, year = 2017 }