Autorenfreundlich Bücher kaufen?!
Beschreibung
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.
La logique TQL
Details
| Verlag | Éditions universitaires européennes |
| Ersterscheinung | August 2010 |
| Maße | 22 cm x 15 cm x 0.5 cm |
| Gewicht | 119 Gramm |
| Format | Softcover |
| ISBN-13 | 9786131531224 |
| Seiten | 68 |
Schlagwörter
Bekannt durch
