"Reverse Mathematics Is Computable for Interval Computations."

Martine Ceberio, Olga Kosheleva, Vladik Kreinovich (2020)

Details and statistics

DOI: 10.1007/978-3-030-40814-5_8

access: closed

type: Part in Book or Collection

metadata version: 2020-03-26

a service of  Schloss Dagstuhl - Leibniz Center for Informatics