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