David Delahaye (CEDRIC

Identifiers

• name variant David Delahaye (CEDRIC 0.60 · backfill

Papers (2)

1. Tableaux Modulo Theories Using Superdeduction cs.LO · 2015 · author #3
2. Recovering Intuition from Automated Formal Proofs using Tableaux with Superdeduction cs.LO · 2015 · author #1

Mentions

• 1501.01301 #3 · backfill · confidence 0.70 David Delahaye (CEDRIC
• 1501.01170 #1 · backfill · confidence 0.70 David Delahaye (CEDRIC

Frequent Coauthors

• M\'elanie Jacquel 2 shared papers
• Catherine Dubois (CEDRIC 1 shared papers
• CNAM Paris 1 shared papers
• CNAM Paris) 1 shared papers
• ENSIIE) 1 shared papers
• Inria 1 shared papers
• INRIA) 1 shared papers
• Karim Berkani 1 shared papers