2 citations · 8 across the 8 of their papers we have counts for
1 paper · 1 filter
Maximiliano Cristiá, Gianfranco Rossi
We encode arrays as functions which, in turn, are encoded as sets of ordered pairs. The set cardinality of each of these functions coincides with the length of the array it is repr…