Independent instances for some undecidable problems Cristian Calude; Gheorghe Păun — 1983 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Representability of recursive P. Martin-Löf tests Cristian S. Calude; Ion Chiţescu — 1983 Kybernetika
What is the value of Taxicab ( 6 ) ? Calude, Cristian S.; Calude, Elena; Dinneen, Michael J. — 2003 Analele Ştiinţifice ale Universităţii “Ovidius" Constanţa. Seria: Matematică
Computing a glimpse of randomness. Calude, Cristian S.; Dinneen, Michael J.; Shu, Chi-Kou — 2002 Experimental Mathematics