15 citations · 15 across the 1 of their papers we have counts for
1 paper
Everardo Bárcenas, Jesús Lavalle
We introduce a logical foundation to reason on tree structures with constraints on the number of node occurrences. Related formalisms are limited to express occurrence constraints…