# Publications

From BWare

(→International Conferences) |
(→International Conferences) |
||

Line 7: | Line 7: | ||

* David Delahaye, Damien Doligez, Frédéric Gilbert, Pierre Halmagrand, and Olivier Hermant. Zenon Modulo: When Achilles Outruns the Tortoise using Deduction Modulo. In Ken McMillan, Aart Middeldorp, and Voronkov Andrei, editors, ''Logic for Programming Artificial Intelligence and Reasoning (LPAR)'', volume 8312 of ''Lecture Notes in Computer Science (LNCS)/Advanced Research in Computing and Software Science (ARCoSS)'', pages 274—290, Stellenbosch (South Africa), December 2013. Springer. | * David Delahaye, Damien Doligez, Frédéric Gilbert, Pierre Halmagrand, and Olivier Hermant. Zenon Modulo: When Achilles Outruns the Tortoise using Deduction Modulo. In Ken McMillan, Aart Middeldorp, and Voronkov Andrei, editors, ''Logic for Programming Artificial Intelligence and Reasoning (LPAR)'', volume 8312 of ''Lecture Notes in Computer Science (LNCS)/Advanced Research in Computing and Software Science (ARCoSS)'', pages 274—290, Stellenbosch (South Africa), December 2013. Springer. | ||

* David Delahaye, Damien Doligez, Frédéric Gilbert, Pierre Halmagrand, and Olivier Hermant. Proof Certification in Zenon Modulo: When Achilles Uses Deduction Modulo to Outrun the Tortoise with Shorter Steps. In Ken McMillan, Aart Middeldorp, and Voronkov Andrei, editors, ''International Workshop on the Implementation of Logics (IWIL)'', Stellenbosch (South Africa), December 2013. EasyChair. To appear. | * David Delahaye, Damien Doligez, Frédéric Gilbert, Pierre Halmagrand, and Olivier Hermant. Proof Certification in Zenon Modulo: When Achilles Uses Deduction Modulo to Outrun the Tortoise with Shorter Steps. In Ken McMillan, Aart Middeldorp, and Voronkov Andrei, editors, ''International Workshop on the Implementation of Logics (IWIL)'', Stellenbosch (South Africa), December 2013. EasyChair. To appear. | ||

− | * Guillaume Burel. A Shallow Embedding of Resolution and Superposition Proofs into the λ | + | * Guillaume Burel. A Shallow Embedding of Resolution and Superposition Proofs into the λΠ-Calculus Modulo. In ''Proof Exchange for Theorem Proving (PxTP)'', volume 14 of ''EPiC''. EasyChair, 2013. |

== National Conferences == | == National Conferences == |