1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
J. Carme, R. Gilleron, A. Lemay +2
Tree automata based algorithms are essential in many fields in computer science such as verification, specification, program analysis. They become also essential for databases with…