7 citations · 16 across the 6 of their papers we have counts for
1 paper · 2 filters
Andrea Aler Tubella, Alessio Guglielmi
This paper presents the first in a series of results that allow us to develop a theory providing finer control over the complexity of normalisation, and in particular of cut elimin…