1 citations · 2 across the 3 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…