31 citations · 104 across the 14 of their papers we have counts for
1 paper · 1 filter
Omer Giménez, Guillem Godoy, Sebastian Maneth
Finite-state tree automata are a well studied formalism for representing term languages. This paper studies the problem of determining the regularity of the set of instances of a f…