|
 
|
Liste des publications
2014
-
[Bur14]
G. Burel.
"Cut Admissibility by Saturation",
Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications,
July 2014,
Vol. 8560,
pp.124-138,
Series LNCS,
Vienna,
Austria,
(DOI: 10.1007/978-3-319-08918-8_9)
Conférence Internationale avec comité de lecture
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.-,
- [Del13] D. Delahaye. "Automated Deduction Modulo", Proof-Search in Axiomatic Theories and Type Theories (PSATTT), November 2013, pp.online, Palaiseau, France,
Conférence Internationale avec comité de lecture
Conférences invitées
2011
-
[Bur11]
G. Burel.
"Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo",
Logical Methods in Computer Science,
vol. 7(3:1), pp. 1-31,
2011, (doi:10.2168/LMCS-7(1:3)2011)
-
[Bur11a]
G. Burel.
"Consistency Implies Cut Admissibility",
International Workshop on Proof-Search in Axiomatic Theories and Type Theories,
Wroclaw,
Poland,
