Three notions of effective computation on $\mathbb{R}$
From MaRDI portal
Publication:6208835
arXiv0803.3073MaRDI QIDQ6208835
Publication date: 20 March 2008
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
This page was built for publication: Three notions of effective computation on $\mathbb{R}$