Le moteur de recherche
des thèses françaises
Evelyne Contejean
IdRefMots clés
FR |
EN
Coq
Systèmes de réécriture (informatique)
Méthodes formelles
Théorèmes -- Démonstration automatique
Méthodes formelles (informatique)
Assistants de preuve
Datalog (langage de programmation)
Automatisation
SMT
Réflexion
Congruence
Conteneurs
Réécriture
Logique
Langages de données
Formalisations mathématiques
Vérification de programmes
Logique mathématique
Terminaison
Informatique