%0 Conference Paper %1 conf/lpar/DelahayeDGHH13 %A Delahaye, David %A Doligez, Damien %A Gilbert, Frédéric %A Halmagrand, Pierre %A Hermant, Olivier %B LPAR %D 2013 %E McMillan, Kenneth L. %E Middeldorp, Aart %E Voronkov, Andrei %I Springer %K dblp %P 274-290 %T Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo. %U http://dblp.uni-trier.de/db/conf/lpar/lpar2013.html#DelahayeDGHH13 %V 8312 %@ 978-3-642-45220-8

@inproceedings{conf/lpar/DelahayeDGHH13, added-at = {2019-04-12T00:00:00.000+0200}, author = {Delahaye, David and Doligez, Damien and Gilbert, Frédéric and Halmagrand, Pierre and Hermant, Olivier}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2d44c326463a4b008cddd4ecd19c8629d/dblp}, booktitle = {LPAR}, crossref = {conf/lpar/2013}, editor = {McMillan, Kenneth L. and Middeldorp, Aart and Voronkov, Andrei}, ee = {https://doi.org/10.1007/978-3-642-45221-5_20}, interhash = {ab29ecad4608400e8a741485b1cff868}, intrahash = {d44c326463a4b008cddd4ecd19c8629d}, isbn = {978-3-642-45220-8}, keywords = {dblp}, pages = {274-290}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T12:46:44.000+0200}, title = {Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo.}, url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2013.html#DelahayeDGHH13}, volume = 8312, year = 2013 }