Expression de contraintes globales dans les documents semi-structurés: La logique TQL (Omn.Univ.Europ.) (French Edition)
Product ID: 59307409
Secure Transaction
Frequently Bought Together
Description
- Expression de Contraintes Globales Dans Les Documents Semi Structures
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.
Common Questions
Trustpilot
TrustScore 4.5 | 7,300+ reviews
The product quality is outstanding. Exactly what I needed for my work.
1 month ago
Smooth transaction and product arrived in perfect condition.
3 weeks ago
Shop Global, Save with Desertcart
Value for Money
Competitive prices on a vast range of products
Shop Globally
Serving over 300 million shoppers across more than 200 countries
Enhanced Protection
Trusted payment options loved by worldwide shoppers
Customer Assurance
Trusted payment options loved by worldwide shoppers.
Desertcart App
Shop on the go, anytime, anywhere.
