Knowledge Tree

researcher / Gilles Dowek

Gilles Dowek

at_id:

orcid_id:

Disciplines:

Common sciences and techniques

Computer sciences

Edit Merge See Links

Thesis:

Demonstration automatique dans le calcul des constructions

Directed Thesis:

Higher-Order Confluence and Universe Embedding in the Logical Framework

Interoperability between proof systems using the logical framework Dedukti

Integrating rewriting, tableau and superposition into SMT

A framework for defining computational higher-order logics

Extending superposition with integer arithmetic structural induction and beyond

A Quest for Exactness: Program Transformation for Reliable Real Numbers

Conception d'un noyau de vérification de preuves pour le λΠ-calcul modulo