Mamadou Moustapha Kant\'e (LaBRI)

Identifiers

• name variant Mamadou Moustapha Kant\'e (LaBRI) 0.60 · backfill

Papers (1)

1. Compact Labelings For Efficient First-Order Model-Checking cs.DS · 2008 · author #5

Mentions

• 0811.4713 #5 · backfill · confidence 0.70 Mamadou Moustapha Kant\'e (LaBRI)

Frequent Coauthors

• Bruno Courcelle (LaBRI 1 shared papers
• Cyril Gavoille (LaBRI 1 shared papers
• INRIA Futurs) 1 shared papers
• IUF) 1 shared papers