Gilles Dowek (DEDUCTEAM

Identifiers

• name variant Gilles Dowek (DEDUCTEAM 0.60 · backfill

Papers (1)

1. Models and termination of proof reduction in the $\lambda$$\Pi$-calculus modulo theory cs.LO · 2015 · author #1

Mentions

• 1501.06522 #1 · backfill · confidence 0.70 Gilles Dowek (DEDUCTEAM

Frequent Coauthors

• LSV) 1 shared papers