@article{lmcs:1019, title = {Real Analytic Machines and Degrees}, author = {Tobias Gärtner and Martin Ziegler}, url = {https://lmcs.episciences.org/1019}, doi = {10.2168/LMCS-7(3:11)2011}, journal = {Logical Methods in Computer Science}, issn = {1860-5974}, volume = {Volume 7, Issue 3}, eid = 11, year = {2011}, month = {Sep}, keywords = {Computer Science - Logic in Computer Science, Mathematics - Logic, F.4.1, F.1.1, G.1.0}, }