Jean-Pierre Ressayre
IdRefMots clés
FR
Théorie des modèles
Datalog (langage de programmation)
Théorie de la définissabilité (mathématiques)
Graphes aléatoires
Quasi-analycité
O-minimalité
Elimination des quantificateurs
Famille stable
Désingularisation
Théorème de préparation
Langages formels
Théorie des machines séquentielles
Linguistique
Logique mathématique
Axiomatique
Induction (mathématiques)
Arithmétique