Concepedia

Gilles Dowek

GD

30

Publications

1.3K

Citations

20

H-Index

1991

Active since

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

École Polytechnique

Langley Research Center

Laboratoire d'Informatique de l'École Polytechnique

National Institute of Aerospace

Gilles Dowek is an author at Institut national de recherche en sciences et technologies du numérique specializing in formal methods, engineering, and computer science.

ORCID

Top concepts

Publications per year

1991–2023

30

Publications

30

Theorem Proving Modulo

Gilles Dowek, Thérèse Hardin, Claude Kirchner · Journal of Automated Reasoning · 2003 · 212 citations

, , +1

The Coq proof assistant user's guide : version 5.6

Gilles Dowek, Amy Felty, Hugo Herbelin et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 1991 · 124 citations · Full text

Higher Order Unification via Explicit Substitutions

Gilles Dowek, Thérèse Hardin, Claude Kirchner · Information and Computation · 2000 · 79 citations

, , +5

Proof normalization modulo

Gilles Dowek, Benjamin Werner · Journal of Symbolic Logic · 2003 · 73 citations · Full text

, , +10

Unification via Explicit Substitutions: The Case of Higher-Order Patterns.

Gilles Dowek, Thérèse Hardin, Claude Kirchner et al. · OpenGrey (Institut de l'Information Scientifique et Technique) · 1996 · 69 citations · Full text

Rows per page

1–5 of 30