"A recursion theoretic foundation of computation over real numbers."

Keng Meng Ng, Nazanin Roshandel Tavana, Yue Yang (2021)

Details and statistics

DOI: 10.1093/LOGCOM/EXAB042

access: closed

type: Journal Article

metadata version: 2021-11-09

a service of  Schloss Dagstuhl - Leibniz Center for Informatics