Leonid Libkin
IdRefMots clés
FR |
EN
Xpath
Satisfabilité
Valeurs de données
XML
Structures de données (informatique)
XPath (langage de programmation)
XML (langage de balisage)
Logique de séparation
Vérification formelle
Procédure de décision
Solveur
Décidabilité
Complexité
Logique informatique
Séparation (informatique)
Vérification de modèles (informatique)
Complexité de calcul (informatique)
Théorie des modèles finis
Invariance
Logique du premier ordre