|
 
|
Frédéric Gilbert
|
Stagiaire Laboratoire: INRIA (FR) |
Publications
2013
- [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.-,
