Tell your friends about this item:
Expression De Contraintes Globales Dans Les Documents Semi-structurés: La Logique Tql Wissam Khalil French edition
Expression De Contraintes Globales Dans Les Documents Semi-structurés: La Logique Tql
Wissam Khalil
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.
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | February 28, 2018 |
| ISBN13 | 9786131531224 |
| Publishers | Editions universitaires europeennes |
| Pages | 68 |
| Dimensions | 226 × 4 × 150 mm · 113 g |
| Language | French |
See all of Wissam Khalil ( e.g. Paperback Book )