Olivier Hermant

Membre exterieur
Laboratoire: CRI (France)
Tel : ( 33) (0)1 64 69 48 31

Publications

[DDG13] D. Delahaye, D. Doligez, F. Gilbert, P. Halmagrand, O. Hermant. "Zenon Modulo: When Achilles Outruns the Tortoise using Deduction Modulo", Logic for Programming Artificial Intelligence and Reasoning (LPAR), December 2013, Vol. 8312, pp.274-290, Series LNCS/ARCoSS, Stellenbosch, South Africa,
[DDG13a] D. Delahaye, D. Doligez, F. Gilbert, P. Halmagrand, O. Hermant. "Proof Certification in Zenon Modulo: When Achilles Uses Deduction Modulo to Outrun the Tortoise with Shorter Steps", International Workshop on the Implementation of Logics, December 2013, pp.-,