31 citations · 78 across the 16 of their papers we have counts for
1 paper · 1 filter
David Castro, Marc Giusti, Joos Heintz +2
In this paper we investigate the intrinsic sequential time complexity of universal elimination procedures for arbitrary continuous data structures encoding input and output objects…