Karim Berkani

Identifiers

• name variant Karim Berkani 0.60 · backfill

Papers (1)

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

Mentions

• 1501.01301 #2 · backfill · confidence 0.70 Karim Berkani

Frequent Coauthors

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