Pierre Genevès
IdRefMots clés
FR |
EN
SPARQL (langage de programmation)
Données massives
Logiciels -- Vérification
Bases de données -- Interrogation
Sparql
Analyse statique
Web Sémantique
Web sémantique
Big data
Logique temporelle de point fixe
Arbres finis
Analyseurs statiques
Logique modale
Mu-calcul modal
XPath
XML (langage de balisage)
Arbres (théorie des graphes) -- Informatique
Systèmes de gestion de données dans le cloud
Systèmes multistores
Systèmes multi-Bases de données