Publisher's Synopsis
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.
