{"product_id":"expression-de-contraintes-globales-dans-les-documents-semi-structures-von-wissam-khalil","title":"Expression de contraintes globales dans les documents semi-structurés","description":"\u003cp\u003eRé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.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9786131531224\"\u003e\u003ch3\u003eLa logique TQL\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9786131531224","offer_id":40148341620829,"sku":"9786131531224","price":29.0,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/f78d84ae-f621-463f-a8e7-91c19eabfcb9.jpg?v=1751697528","url":"https:\/\/shop.autorenwelt.de\/en\/products\/expression-de-contraintes-globales-dans-les-documents-semi-structures-von-wissam-khalil","provider":"Autorenwelt Shop","version":"1.0","type":"link"}