Recherche

Rechercher

Accueil CEDRIC > Laboratoire > Membre > Burel >

Guillaume Burel

Equipe SYS
Parti depuis le 01/02/2016
Mail : guillaume.burel

ensiie.fr
Tel : 01 69 36 73 70
http://www.ensiie.fr/~guillaume.burel/

Projets

Publications

2015

Conférence Internationale avec comité de lecture

[BDJ15] G. Burel, G. Dowek, Y. Jiang. "A completion method to decide reachability in rewrite systems", 10th International Symposium on Frontiers of Combining Systems, September 2015, pp.--, Series LNAI, Wroclaw, Poland,
[AB15] A. Assaf, G. Burel. "Translating HOL to Dedukti", Fourth Workshop on Proof eXchange for Theorem Proving, August 2015, pp.--, Series EPTCS, Berlin, Germany,

2014

Conférence Internationale avec comité de lecture

[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)

2013

Conférence Internationale avec comité de lecture

[BC13] G. Burel, S. Cruanes. "Detection of First Order Axiomatic Theories", Frontiers of Combining Systems 2013, September 2013, Vol. 8152, pp.229-244, Series LNCS, Nancy, France, (DOI: 10.1007/978-3-642-40885-4_16)

Conférences Internationales sans actes

[Bur13] G. Burel. "A Shallow Embedding of Resolution and Superposition Proofs into the Î»Î -Calculus Modulo", Third International Workshop on Proof Exchange for Theorem Proving, Lake Placid, USA,

2012

Conférences Internationales sans actes

[BB12] M. Boespflug, G. Burel. "CoqInE : Translating the calculus of inductive constructions into the Î»Î -calculus modulo.", Second International Workshop on Proof Exchange for Theorem Proving (PXTP 2012), Manchester, United Kingdom,

2011

Revue Internationale avec comité de lecture

[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)

Conférence Internationale avec comité de lecture

[Bur11b] G. Burel. "Experimenting with deduction modulo", 23rd International Conference on Automated Deduction, July 2011, Vol. 6803, pp.162--176, Series LNAI, Wroclaw, Poland, (DOI: 10.1007/978-3-642-22438-6_14)

Conférences Internationales sans actes

[Bur11a] G. Burel. "Consistency Implies Cut Admissibility", International Workshop on Proof-Search in Axiomatic Theories and Type Theories, Wroclaw, Poland,