Jacques-Henri Jourdan (Gallium)

Identifiers

• name variant Jacques-Henri Jourdan (Gallium) 0.60 · backfill

Papers (1)

1. Implementing and reasoning about hash-consed data structures in Coq cs.LO · 2013 · author #2

Mentions

• 1311.2959 #2 · backfill · confidence 0.70 Jacques-Henri Jourdan (Gallium)

Frequent Coauthors

• David Monniaux 1 shared papers
• Thomas Braibant (Gallium) 1 shared papers