10 citations · 13 across the 4 of their papers we have counts for
1 paper · 1 filter
Thaïs Baudon, Carsten Fuhs, Laure Gonnord
We revisit parallel-innermost term rewriting as a model of parallel computation on inductive data structures and provide a corresponding notion of runtime complexity parametric in…