Le moteur de recherche
des thèses françaises
Diego Figueira
IdRefMots clés
FR |
EN
Structures de données (informatique)
XPath (langage de programmation)
Bases de données -- Interrogation
Transducteurs
Xpath
Satisfabilité
Valeurs de données
XML
XML (langage de balisage)
Logique
Automates et transducteurs
Algebra
Base de données
Requêtes
Langages formels
Recherche de preuve
Logique de données
Hyperséquent
XPath
Benchmark