Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Calude, C., Jürgensen, H., Zimand, M.: Is independence an exception? Appl. Math. Comput. 66, 63–76 (1994)
2. Calude, C.S., Jürgensen, H.: Is complexity a source of incompletness? Advances in Applied Mathematics 35, 1–15 (2005)
3. Calude, C.S., Rudeanu, S.: Proving as a computable procedure. Fundamenta Informaticae 64(1-4), 43–52 (2005)
4. Calude, C.S., Staiger, L.: A Note on Accelerated Turing Machines. Math. Struct. in Comp. Sciences 20, 1011–1017 (2010)
5. Graham, L., Kantor, J.M.: Naming Infinity. The Belknap Press of Harward University Press (2009)