Site en cours de mise à jour de stock, si vous ne trouvez pas une référence, n'hésitez pas à nous contacter directement à lesrebellesordinaires@gmail.com
Le Conseil MagiqueTapez un titre ou le nom d'un auteur que vous aimez,
sélectionnez le et une liste de conseils apparaîtra par magie
Je cherche un titre en particulier
Expression de contraintes globales dans les documents semi-structurés
Résumé
Résumé: La logique TQL (Tree Query Language) proposée par Cardelli et Ghelli est un langage logique, de type déclaratif, permettant d''exprimer des propriétés sur les documents semi-structurés. En utilisant la logique TQL nous pouvons caractériser certains langages d''arbres comme par exemple les langages d''arbres réguliers à arités non bornées. Dans ce travail, notre objectif est d''enrichir cette logique afin de pouvoir exprimer des propriétés des langages d''arbres hors-contexte, des langages d''arbres synchronisés réguliers et des langages d''arbres synchronisés hors-contexte.
L'Auteur
Infos techniques
Editeur : UNIV EUROPEENNE
Publication : 31 août 2010
Intérieur : Noir & blanc
Support(s) : Livre broché
Poids (en grammes) : 114
Langue(s) : Français
Code(s) CLIL : 3643
EAN13 Livre broché : 9786131531224
