Mounira Kourjieh (INRIA Lorraine - LORIA / LIFC)

Identifiers

• name variant Mounira Kourjieh (INRIA Lorraine - LORIA / LIFC) 0.60 · backfill

Papers (1)

1. Automated Synthesis of a Finite Complexity Ordering for Saturation cs.LO · 2012 · author #2

Mentions

• 1203.2809 #2 · backfill · confidence 0.70 Mounira Kourjieh (INRIA Lorraine - LORIA / LIFC)

Frequent Coauthors

• Yannick Chevalier (IRIT) 1 shared papers