1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…