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