23 citations · 44 across the 10 of their papers we have counts for
1 paper · 1 filter
Arnaud Durand, Etienne Grandjean
In this paper, we consider first-order logic over unary functions and study the complexity of the evaluation problem for conjunctive queries described by such kind of formulas. A n…