• Expression de contraintes globales dans les documents semi-structurés -  KHALIL-W - UNIV EUROPEENNE

Expression de contraintes globales dans les documents semi-structurés

khalil-w
Éditeur :  UNIV EUROPEENNE
EAN :  9786131531224
Date de parution :   31/08/2010
Disponible sous 3/4 jours

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. "

Informations détaillées

Éditeur:  UNIV EUROPEENNE
EAN:  9786131531224
Date de parution:   31/08/2010
Format:   4 mm x 229 mm x 152 mm
Nombre de pages:   68

En poursuivant la navigation sur le site, vous acceptez le dépôt de cookies et autres tags pour vous proposer des services et offres adaptés, des fonctions de partage vers les réseaux sociaux, permettre la personnalisation du contenu du site et analyser l’audience du site internet. Aucunes informations ne sera partagée avec des partenaires de Librairie Quai des mots.