Publications

From BWare
Jump to: navigation, search
(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 λ-Calculus Modulo. In ''Proof Exchange for Theorem Proving (PxTP)'', volume 14 of ''EPiC''. EasyChair, 2013.
+
* 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 ==

Revision as of 15:00, 27 September 2014

Personal tools
Namespaces

Variants
Actions
Navigation
Toolbox