Iovka Boneva
IdRefMots clés
FR
Bases de données -- Interrogation
Expressivité (logique mathématique)
Données semi-structurées
Logique mathématique
Arbres (théorie des graphes) -- Informatique
Machines séquentielles, Théorie des
Décidabilité (logique mathématique)
Langage visual pour la spécification des correspondances
Échange de données
Bases de données relationnelles
Ressource Description Framework (informatique)
Analyse des données symboliques
Vérification de modèles (informatique)
Contraintes (intelligence artificielle)
Problème de certitude de réponse
Flux de données
Correspondance de motifs
Théorie des automates mathématiques
Complexité de calcul (informatique)
Structures de données (informatique)