Verónica Becher
IdRefMots clés
FR |
EN
Logiques hybrides
Logique mathématique
Logique modale
Expressivité
Décidabilité
Axiomatisation
Interpolation
Théorie descriptive des ensembles
Ordre de Wadge
Réductions continues
Domaine de Scott
Conjecture de la décomposabilité
Ensembles, Théorie descriptive des
Espaces polonais (mathématiques)
Baire, Espaces de
Raisonnement automatique
Traductions en logique du premier ordre
Résolution directe
Méthodes de décision
Modèles coinductifs