Gilles Dowek (Inria

Identifiers

No identifiers captured yet.

Papers (2)

1. Analyzing Individual Proofs as the Basis of Interoperability between Proof Systems cs.LO · 2017 · author #1
2. Free fall and cellular automata nlin.CG · 2016 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• \'Ecole Normale Sup\'erieure de Paris-Saclay) 1 shared papers
• LIF) 1 shared papers
• LSV) 1 shared papers
• Pablo Arrighi (University Aix-Marseille 1 shared papers