Now showing items 21-21 of 21

    • Tree automata with height constraints between brothers 

      Creus López, Carles; Godoy Balil, Guillem (Springer, 2014)
      Conference report
      Restricted access - publisher's policy
      We define the tree automata with height constraints between brothers (TACBB H ). Constraints of equalities and inequalities between heights of siblings that restrict the applicability of the rules are allowed in TACBB H. ...