Martine Ceberio, Olga Kosheleva, Vladik Kreinovich. Reverse Mathematics Is Computable for Interval Computations. In Martine Ceberio, Vladik Kreinovich, editors, Decision Making under Constraints. Volume 276 of pages 65-70, Springer, 2020. [doi]
@incollection{CeberioKK20a,
title = {Reverse Mathematics Is Computable for Interval Computations},
author = {Martine Ceberio and Olga Kosheleva and Vladik Kreinovich},
year = {2020},
doi = {10.1007/978-3-030-40814-5_8},
url = {https://doi.org/10.1007/978-3-030-40814-5_8},
researchr = {https://researchr.org/publication/CeberioKK20a},
cites = {0},
citedby = {0},
pages = {65-70},
booktitle = {Decision Making under Constraints},
editor = {Martine Ceberio and Vladik Kreinovich},
volume = {276},
publisher = {Springer},
isbn = {978-3-030-40814-5},
}