Serenella Cerrito
IdRefMots clés
FR |
EN
Logique informatique
Logique temporelle
Modélisation
Preuve
Logiques de ressources
Logiques de séparation
Logiques temporelles
Logiques épistémiques
Logiques hybrides
Calcul des tableaux
Labels
Extraction de contre-modèles
Méthodes formelles (informatique)
Formalisme (mathématiques)
Déduction automatique
Implémentation d'outils de déduction automatique
Tableaux analytiques au premier ordre
Logique
Concurrence
Théorèmes -- Démonstration automatique