Tim Button. Hyperloops Do Not Threaten the Notion of an Effective Procedure. In Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle, editors, Mathematical Theory and Computational Practice, 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings. Volume 5635 of Lecture Notes in Computer Science, pages 68-78, Springer, 2009. [doi]
@inproceedings{Button09, title = {Hyperloops Do Not Threaten the Notion of an Effective Procedure}, author = {Tim Button}, year = {2009}, doi = {10.1007/978-3-642-03073-4_8}, url = {https://doi.org/10.1007/978-3-642-03073-4_8}, researchr = {https://researchr.org/publication/Button09}, cites = {0}, citedby = {0}, pages = {68-78}, booktitle = {Mathematical Theory and Computational Practice, 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings}, editor = {Klaus Ambos-Spies and Benedikt Löwe and Wolfgang Merkle}, volume = {5635}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-03072-7}, }