Le moteur de recherche
des thèses françaises
Sophie Tison
IdRefMots clés
FR |
EN
Bases de données -- Interrogation
XML (langage de balisage)
Arbres (théorie des graphes) -- Informatique
Automates
Structures de données (informatique)
XPath (langage de programmation)
Théorie des graphes
Contraintes (intelligence artificielle)
Systèmes de réécriture (informatique)
Règles existentielles
Logique du premier ordre
Compilation de connaissances
Résolution de problème -- Informatique
Arbres (théorie des graphes)
Logique mathématique
Langages formels
Flux de données
Théorie des automates mathématiques
Automates d'arbres
Hypergraphes