Browsing by Subject "Informació--Sistemes d'emmagatzematge i recuperació"
Now showing items 21-21 of 21
-
Tree automata with height constraints between brothers
(Springer, 2014)
Conference report
Restricted access - publisher's policyWe 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. ...