M\'elanie Jacquel

Identifiers

• name variant M\'elanie Jacquel 0.60 · backfill

Papers (2)

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

Mentions

• 1501.01301 #1 · backfill · confidence 0.70 M\'elanie Jacquel
• 1501.01170 #3 · backfill · confidence 0.70 M\'elanie Jacquel

Frequent Coauthors

• David Delahaye (CEDRIC 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