author-photo

Gilles Dowek

French Institute for Research in Computer Science and Automation
École Polytechnique

196

Papers

2344

Citations

Citation Trend

Filter By

Papers (196) Sort By

Journal Conference Others

Linear lambda-calculus is linear.

2022 CoRR
- Alejandro Díaz-Caro
- Gilles Dowek
Show All
- Source
- Cite
- Save
Citations (0)
Some axioms for mathematics.

2021 arXiv: Logic in Computer Science
Show All
- Source
- Cite
- Save
Citations (0)
Some Axioms for Mathematics

2021
Show All
- Source
- Cite
- Save
Citations (0)
Interacting Safely with an Unsafe Environment.

2021
- Gilles Dowek
Show All
- Source
- Cite
- Save
Citations (0)
Confluence of Non-Terminating Left-Linear Higher-Order Rewrite Theories

2021
Show All
- Source
- Cite
- Save
Citations (0)
Algorithms Intrigue, Algorithms Disturb

2020
- Serge Abiteboul
- Gilles Dowek
Show All
- Source
- Cite
- Save
Citations (0)
Algorithms, Computers, and Programs

2020
- Serge Abiteboul
- Gilles Dowek
Show All
- Source
- Cite
- Save
Citations (0)
Extensional proofs in a propositional logic modulo isomorphisms.

2020 arXiv: Logic in Computer Science
- Alejandro Díaz-Caro
- Gilles Dowek
Show All
- Source
- Cite
- Save
Citations (2)
What Is an Algorithm

2020
- Serge Abiteboul
- Gilles Dowek
Show All
- Source
- Cite
- Save
Citations (0)
Personal Data and Privacy

2020
- Serge Abiteboul
- Gilles Dowek
Show All
- Source
- Cite
- Save
Citations (0)