Gilles Dowek
ORCIDPublication Activity (10 Years)
Years Active: 1991-2024
Publications (10 Years): 87
Publications (10 Years): 87
Publications
- Gilles Dowek
- Alejandro Díaz-Caro, Gilles Dowek
- Gilles Dowek, Benjamin Werner
- Gilles Dowek
- Gilles Dowek
- Gilles Dowek
- Gilles Dowek, Thérèse Hardin, Claude Kirchner
- Frédéric Blanqui, Gilles Dowek, Émilie Grienenberger, Gabriel Hondet, François Thiré
- Gilles Dowek
- Gilles Dowek
- Gilles Dowek, Ying Jiang
- Gilles Dowek, Murdoch James Gabbay
- Gilles Dowek
- Gilles Dowek
- Gilles Dowek
- Gilles Dowek
- Gilles Dowek
- Gilles Dowek
- Gilles Dowek, Alexandre Miquel
- Gilles Dowek, Ying Jiang
- Gilles Dowek
- Pablo Arrighi, Gilles Dowek
- Gilles Dowek
- Gilles Dowek, Olivier Hermant
- Gilles Dowek
- Gilles Dowek, François Thiré
- Gilles Dowek
- Gilles Dowek, Benjamin Werner
- Gilles Dowek, Alexandre Miquel
- Gilles Dowek
- Gilles Dowek
- Gilles Dowek, Ying Jiang
- Gilles Dowek
- Denis Cousineau, Gilles Dowek
- Richard Statman, Gilles Dowek
- Gilles Dowek
- Gilles Dowek
- Alejandro Díaz-Caro, Gilles Dowek
- Alejandro Díaz-Caro, Gilles Dowek
- Frédéric Blanqui, Gilles Dowek, Émilie Grienenberger, Gabriel Hondet, François Thiré
- Frédéric Blanqui, Gilles Dowek, Émilie Grienenberger, Gabriel Hondet, François ThiréSome axioms for mathematics. CoRR (2021)
- Gilles Dowek
- Alejandro Díaz-Caro, Gilles Dowek
- Ying Jiang, Jian Liu, Gilles Dowek, Kailiang Ji
- Alejandro Díaz-Caro, Gilles Dowek, Juan Pablo Rinaldi
- Gilles DowekRules and Derivations in an Elementary Logic Course. FLAP 4 (1) (2017)
- Alejandro Díaz-Caro, Gilles Dowek
- Pablo Arrighi, Gilles Dowek
- Jian Liu, Gilles Dowek, Kailiang Ji, Ying Jiang
- Gilles Dowek, Catherine Dubois, Brigitte Pientka, Florian Rabe
- Gilles Dowek, Ying Jiang
- Nachum Dershowitz, Gilles Dowek
- Gilles Dowek
- Gilles Dowek
- Pablo Arrighi, Gilles Dowek
- Gilles Dowek, Ying Jiang
- Guillaume Burel, Gilles Dowek, Ying Jiang
- Gilles DowekDeduction modulo theory. CoRR (2015)
- Pablo Arrighi, Gilles Dowek
- Pablo Arrighi, Gilles Dowek
- Alejandro Díaz-Caro, Gilles Dowek
- Pablo Arrighi, Gilles Dowek
- Gilles Dowek
- Pablo Arrighi, Gilles DowekCausal graph dynamics CoRR (2012)
- Gilles Dowek, Olivier Hermant
- Gilles Dowek, Samson Abramsky
- Anthony Narkawicz, César A. Muñoz, Gilles Dowek