Thomas Braibant (Universit\'e de Grenoble

Identifiers

• name variant Thomas Braibant (Universit\'e de Grenoble 0.60 · backfill

Papers (1)

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

Mentions

• 1105.4537 #1 · backfill · confidence 0.70 Thomas Braibant (Universit\'e de Grenoble

Frequent Coauthors

• Damien Pous (CNRS 1 shared papers
• LIG 1 shared papers
• UMR 5217) 1 shared papers