Parametrised second-order complexity theory with applications to the study of interval computation

Eike Neumann, Florian Steinberg. Parametrised second-order complexity theory with applications to the study of interval computation. Theoretical Computer Science, 806:281-304, 2020. [doi]

Abstract

Abstract is missing.