Catherine Dubois (CEDRIC

Identifiers

• name variant Catherine Dubois (CEDRIC 0.60 · backfill

Papers (1)

1. Tableaux Modulo Theories Using Superdeduction cs.LO · 2015 · author #6

Mentions

• 1501.01301 #6 · backfill · confidence 0.70 Catherine Dubois (CEDRIC

Frequent Coauthors

• CNAM Paris 1 shared papers
• David Delahaye (CEDRIC 1 shared papers
• ENSIIE) 1 shared papers
• Inria 1 shared papers
• INRIA) 1 shared papers
• Karim Berkani 1 shared papers
• M\'elanie Jacquel 1 shared papers