569:-
Uppskattad leveranstid 7-11 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
Resume: La logique TQL (Tree Query Language) proposee par Cardelli et Ghelli est un langage logique, de type declaratif, permettant d'exprimer des proprietes sur les documents semi-structures. En utilisant la logique TQL nous pouvons caracteriser certains langages d'arbres comme par exemple les langages d'arbres reguliers a arites non bornees. Dans ce travail, notre objectif est d'enrichir cette logique afin de pouvoir exprimer des proprietes des langages d'arbres hors-contexte, des langages d'arbres synchronises reguliers et des langages d'arbres synchronises hors-contexte.
- Format: Pocket/Paperback
- ISBN: 9786131531224
- Språk: Franska
- Antal sidor: 68
- Utgivningsdatum: 2018-02-28
- Förlag: Omniscriptum