Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Evelyne Contejean

Evelyne Contejean

at_id:

orcid_id:

Disciplines:

Applied sciences
Computer sciences
Edit Merge See Links

Thesis:

Elements pour la decidabilite de l'unification modulo la distributivite

Directed Thesis:

Contribution à la modélisation formelle d'essaims de robots mobiles
Traduction mécanisée et certifiée en Coq d'une algèbre relationnelle étendue pour SQL vers une algèbre imbriquée
Formalisation en Coq de Bases de Données Relationnelles et Déductives -et Mécanisation de Datalog
Formalizing and Implementing a Reflexive Tactic for Automated Deduction in Coq