Centre for Discrete Mathematics and Theoretical Computer Science
Research Reports
206 |
S.S. Goncharov and B. Khoussainov |
Computationally Complete Computably Enumerable Algebras (Removed) |
01/2003 |
207 |
B. Khoussainov and T. Kowalski |
01/2003 |
|
208 |
B. Khoussainov, S. Rubin and F. Stephan |
11/2003 |
|
209 |
B. Khoussainov, S. Rubin and F. Stephan |
Definability and Regularity in Automatic Presentations of Subsystems of Arithmetic |
01/2003 |
210 |
L. Staiger |
01/2003 |
|
211 |
M. Margenstern |
The Tiling of the Hyperbolic 4D Space by the 120-Cell Is Combinatoric |
02/2003 |
212 |
S.A. Terwijn |
03/2003 |
|
213 |
C.S. Calude, L. Staiger and K. Svozil |
04/2003 |
|
214 |
K. Svozil |
04/2003 |
|
215 |
C.S. Calude, M.J. Dinneen and V. Vajnovszki (editors) |
05/2003 |
|
216 |
K. Svozil |
05/2003 |
|
217 |
C.S. Calude, E. Calude and M.J. Dinneen |
05/2003 |
|
218 |
C.S. Calude and L. Staiger |
06/2003 |
|
219 |
C.S. Calude |
06/2003 |
|
220 |
J.J. Arulanandham, C.S. Calude and M.J. Dinneen |
06/2003 |
|
221 |
E. Calude, B. Mills and L. Mills |
06/2003 |
|
222 |
V. Becher, S. Figueira, A. Nies and S. Picchi |
08/2003 |
|
223 |
J.J. Arulanandham, C.S. Calude and M.J. Dinneen |
10/2003 |
|
224 |
A. Moreira |
10/2003 |
|
225 |
S. Daniels |
10/2003 |
|
226 |
C.S. Calude and G. Paun |
11/2003 |
|
227 |
H. Ishihara and L.S. Vita |
12/2003 |
