English Monadic second-order logic Cited by user A3nm on 23 May 2019 In mathematical logic, monadic second order logic (MSO) is the fragment of second-order logic where the second-order quantification is limited to quantification over sets.
English Regular tree grammar Cited by user Citation bot on 12 Feb 2019 In theoretical computer science and formal language theory, a regular tree grammar (RTG) is a formal grammar that describes a set of directed trees, or terms.
French Automate d'arbres Cited by user Fschwarzentruber on 12 Feb 2018 En informatique théorique, plus précisément en théorie des langages, un automate d'arbre est une machine à états qui prend en entrée un arbre, plutôt qu'une chaîne de…