Travelled to:1 × Austria
1 × Czech Republic
1 × Poland
1 × Switzerland
1 × USA
Collaborated with:∅
Talks about:modulo (3) deduct (3) superdeduct (1) represent (1) unbound (1) system (1) prover (1) length (1) experi (1) admiss (1)
Person: Guillaume Burel
DBLP: Burel:Guillaume
Contributed to:
2014
2011
2010
20082007Wrote 5 papers:
- RTA-TLCA-2014-Burel
- Cut Admissibility by Saturation (GB), pp. 124–138.
- CADE-2011-Burel #deduction
- Experimenting with Deduction Modulo (GB), pp. 162–176.
- CSL-2010-Burel #deduction #proving
- Embedding Deduction Modulo into a Prover (GB), pp. 155–169.
- LICS-2008-Burel #deduction #first-order #representation #type system #using
- A First-Order Representation of Pure Type Systems Using Superdeduction (GB), pp. 253–263.
- CSL-2007-Burel #bound #deduction
- Unbounded Proof-Length Speed-Up in Deduction Modulo (GB), pp. 496–511.