Le moteur de recherche
des thèses françaises
Claire David
IdRefMots clés
FR |
EN
Bases de données -- Interrogation
XML (langage de balisage)
Décidabilité (logique mathématique)
Formalisme (mathématiques)
Informatique
Délai constant
Nulle-part dense
Théorie des graphes
Analyse des données
Logique
Automates et transducteurs
Algebra
Base de données
Requêtes
Structures de données (informatique)
Langages formels
Transducteurs
Théorie des bases de données
Langages de requête
Informatique théorique