-- Deduction Modulo
-- Rewriting Calculus
-- Good-proofs
Recent papers:
- A rho-calculus of explicit constraint application, with Horatiu Cirstea and Germain Faure
xrho.dvi xrho.pdf - Rule-Based Programming and Proving: The ELAN Experience Outcomes, with Hélène
Dedicated to Jean-Louis Lassez on the Occasion of His 60th Birthday - Induction as deduction modulo, with Eric Deplagne
iadm.dvi.gz .ps.gz .pdf iadm.bib. - good-proof theory, with Nachum Dershowitz
lics2003.pdf lics2003.ps.gz lics2003.dvi.gz lics2003.bib. Full version (pdf).
Recent talks:
- Formal Islands @ Nancy Saarbruecken workshop in Nancy, June 2004
slides.pdf - Deduction Modulo @ Proof Theory and Automated Theorem Proving
summer school in Dresden, June 2004
slides.pdf
