CNAM Paris

Identifiers

• name variant CNAM Paris 0.60 · backfill

Papers (1)

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

Mentions

• 1501.01301 #4 · backfill · confidence 0.70 CNAM Paris

Frequent Coauthors

• Catherine Dubois (CEDRIC 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