Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Sanders, Sam
2014.
Algorithm and proof as Ω-invariance and transfer: A new model of computation in nonstandard analysis.
Electronic Proceedings in Theoretical Computer Science,
Vol. 143,
Issue. ,
p.
97.