A recursion theoretic foundation of computation over real numbers

DOI10.1093/logcom/exab042OpenAlexW3184399009MaRDI QIDQ5163985

Yue Yang, Nazanin R. Tavana, Keng Meng Ng

Publication date: 9 November 2021

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2010.00791

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Related Items (1)

A characterization of polynomial time computable functions from the integers to the reals using discrete ordinary differential equations

This page was built for publication: A recursion theoretic foundation of computation over real numbers