|
Search the dblp DataBase
Guillaume Burel:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Guillaume Burel, Claude Kirchner
Completion Is an Instance of Abstract Canonical System Inference. [Citation Graph (0, 0)][DBLP] Essays Dedicated to Joseph A. Goguen, 2006, pp:497-520 [Conf]
- Guillaume Burel
Unbounded Proof-Length Speed-Up in Deduction Modulo. [Citation Graph (0, 0)][DBLP] CSL, 2007, pp:496-511 [Conf]
- Guillaume Burel, Claude Kirchner
Cut Elimination in Deduction Modulo by Abstract Completion. [Citation Graph (0, 0)][DBLP] LFCS, 2007, pp:115-131 [Conf]
Embedding Deduction Modulo into a Prover. [Citation Graph (, )][DBLP]
Automating Theories in Intuitionistic Logic. [Citation Graph (, )][DBLP]
A First-Order Representation of Pure Type Systems Using Superdeduction. [Citation Graph (, )][DBLP]
Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|