Skip to Main content Skip to Navigation


...
hal-01330955v1  Conference papers
Ali AssafGilles DowekJean-Pierre JouannaudJiaxiang Liu. Untyped Confluence in Dependent Type Theories
Proceedings Higher-Order Rewriting Workshop, Jun 2016, Porto, Portugal
...
hal-01330980v1  Conference papers
Ali AssafGilles DowekJean-Pierre JouannaudJiaxiang Liu. Encoding Proofs in Dedukti: the case of Coq proofs
Proceedings Hammers for Type Theories, Jul 2016, Coimbra, Portugal
...
inria-00335115v1  Reports
Gilles DowekMurdoch GabbayDominic Mulligan. Permissive nominal terms
[Research Report] RR-6682, INRIA. 2008
...
edutice-00676169v1  Conference papers
Gilles Dowek. Les quatre concepts de l'informatique
Sciences et technologies de l'information et de la communication en milieu éducatif : Analyse de pratiques et enjeux didactiques., Oct 2011, Patras, Grèce. pp.21-29
...
hal-01668246v1  Poster communications
Gilles DowekStéphane Graham-LengrandFrançois Thiré. Interoperability between arithmetic proofs using Dedukti
International School On Rewriting 2017, Jul 2017, Eindhoven, Netherlands
hal-01678845v1  Reports
Gilles DowekCatherine DuboisBrigitte PientkaFlorian Rabe. Universality of proofs
[Research Report] Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise; Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux (Institut Mines-Télécom-Télécom SudParis-CNRS); INRIA Saclay - Ile de France (INRIA); Jacobs University [Bremen]; École normale supérieure - Cachan; McGill University / Université McGill. 2017, pp.24
...
inria-00549416v1  Book sections
Olivier BournezGilles DowekRémi GilleronSerge GrigorieffJean-Yves Marion et al.  Décidabilité et Complexité
Pierre Marquis, Odile Papini and Henri Prade. IA Handbook, Cépaduès, pp.1-63, 2010
...
hal-01670394v1  Conference papers
Gilles Dowek. Analyzing individual proofs as the basis of interoperability between proof systems
PxTP 2017 - Fifth Workshop on Proof eXchange for Theorem Proving, Sep 2017, Brasilia, Brazil
...
hal-01252124v1  Journal articles
Gilles Dowek. Rules and derivations in an elementary logic course
IfColog Journal of Logics and their Applications (FLAP), College Publications, 2017, 4 (1)
hal-01350151v1  Journal articles
Gilles Dowek. L’engagement des scientifiques
Interstices, INRIA, 2006
...
edutice-00676274v1  Conference papers
Paul SpirakisGeorges-Louis BaronGilles DowekEric BruillardMaurice Nivat. Communications Invitées - Colloque DIDAPRO 4 - Dida&STIC
Sciences et technologies de l'information et de la communication en milieu éducatif : Analyse de pratiques et enjeux didactiques., Oct 2011, Patras, Grèce. pp.15-47
hal-00940923v1  Conference papers
Pablo ArrighiGilles Dowek. On the Completeness of Quantum Computation Models
CiE 2010 - 6th Conference on Computability in Europe, Jun 2010, Ponta Delgada, Azores, Portugal. pp.21-30, ⟨10.1007/978-3-642-13962-8_3⟩
...
hal-01421712v1  Journal articles
Pablo ArrighiGilles Dowek. Free fall and cellular automata
Electronic Proceedings in Theoretical Computer Science, EPTCS, 2016, 204, pp.1 - 10. ⟨10.4204/EPTCS.204.1⟩
...
hal-01670387v1  Conference papers
Alejandro Díaz-CaroGilles Dowek. Typing Quantum Superpositions and Measurement
TPNC 2017 - 6th International Conference on the Theory and Practice of Natural Computing, Dec 2017, Prague, Czech Republic. pp.13, ⟨10.1007/978-3-319-71069-3_22⟩
...
inria-00077199v1  Reports
Gilles DowekThérèse HardinClaude Kirchner. Theorem Proving Modulo
[Research Report] RR-3400, INRIA. 1998, pp.27