Computable Closed Euclidean Subsets with and without Computable Points
From MaRDI portal
Publication:6466727
DOI10.1002/MALQ.200610058zbMath1153.03043arXivcs/0610080MaRDI QIDQ6466727
Martin Ziegler, Stéphane Le Roux
Publication date: 13 October 2006
Constructive and recursive analysis (03F60) Applications of computability and recursion theory (03D80)
This page was built for publication: Computable Closed Euclidean Subsets with and without Computable Points