Parametrised second-order complexity theory with applications to the study of interval computation
Date first appeared online 21/05/2019
DOI 10.1016/j.tcs.2019.05.009
Authors Neumann E.
Journal Name Theoretical Computer Science
Volume 806

Documents