×

zbMATH — the first resource for mathematics

Burel, Guillaume

Compute Distance To:
Author ID: burel.guillaume Recent zbMATH articles by "Burel, Guillaume"
Published as: Burel, G.; Burel, Guillaume
Documents Indexed: 14 Publications since 2000

Publications by Year

Citations contained in zbMATH Open

9 Publications have been cited 22 times in 10 Documents Cited by Year
Regaining cut admissibility in deduction modulo using abstract completion. Zbl 1191.68359
Burel, Guillaume; Kirchner, Claude
4
2010
Embedding deduction modulo into a prover. Zbl 1287.68152
Burel, Guillaume
3
2010
Cut elimination in deduction modulo by abstract completion. Zbl 1132.03315
Burel, Guillaume; Kirchner, Claude
3
2007
Completion is an instance of abstract canonical system inference. Zbl 1132.03314
Burel, Guillaume; Kirchner, Claude
3
2006
Experimenting with deduction modulo. Zbl 1341.68185
Burel, Guillaume
2
2011
Efficiently simulating higher-order arithmetic by a first-order theory modulo. Zbl 1218.03007
Burel, Guillaume
2
2011
Automating theories in intuitionistic logic. Zbl 1193.03026
Burel, Guillaume
2
2009
Unbounded proof-length speed-up in deduction modulo. Zbl 1179.03059
Burel, Guillaume
2
2007
Cut admissibility by saturation. Zbl 1416.68154
Burel, Guillaume
1
2014
Cut admissibility by saturation. Zbl 1416.68154
Burel, Guillaume
1
2014
Experimenting with deduction modulo. Zbl 1341.68185
Burel, Guillaume
2
2011
Efficiently simulating higher-order arithmetic by a first-order theory modulo. Zbl 1218.03007
Burel, Guillaume
2
2011
Regaining cut admissibility in deduction modulo using abstract completion. Zbl 1191.68359
Burel, Guillaume; Kirchner, Claude
4
2010
Embedding deduction modulo into a prover. Zbl 1287.68152
Burel, Guillaume
3
2010
Automating theories in intuitionistic logic. Zbl 1193.03026
Burel, Guillaume
2
2009
Cut elimination in deduction modulo by abstract completion. Zbl 1132.03315
Burel, Guillaume; Kirchner, Claude
3
2007
Unbounded proof-length speed-up in deduction modulo. Zbl 1179.03059
Burel, Guillaume
2
2007
Completion is an instance of abstract canonical system inference. Zbl 1132.03314
Burel, Guillaume; Kirchner, Claude
3
2006

Citations by Year