UMR 5217)

Identifiers

• name variant UMR 5217) 0.60 · backfill

Papers (1)

1. Deciding Kleene Algebras in Coq cs.LO · 2011 · author #3

Mentions

• 1105.4537 #3 · backfill · confidence 0.70 UMR 5217)

Frequent Coauthors

• Damien Pous (CNRS 1 shared papers
• LIG 1 shared papers
• Thomas Braibant (Universit\'e de Grenoble 1 shared papers