Centre for Discrete Mathematics and Theoretical Computer Science


Research Reports


1995 [10]
1996 [15]
011A. Arslanov

Difference Splittings of Recursively Enumerable Sets

01/1996
012I. Antoniou, B. Pavlov and A. Yafyasov

Quantum Electronic Devices Based on Metal-Dielectric Transition in Low-Dimensional Quantum Structures

04/1996
013C.S. Calude and C. Grozea

Kraft-Chaitin Inequality Revisited

04/1996
014C.S. Calude

Algorithmic Information Theory: Open Problems

05/1996
015C.S. Calude, E. Calude, K. Svozil and S. Yu

Physical versus Computational Complementarity I

06/1996
016C.J. Colbourn and P.B. Gibbons

Uniform Orthogonal Group Divisible Designs with Block Size Three

08/1996
017B. Khoussainov

Randomness, Computability, and Algebraic Specifications

08/1996
018B. Khoussainov and R.A. Shore

Scott Families and Computably Categorical Structures

09/1996
019M.J. Dinneen, K. Cattell and M.R. Fellows

Forbidden Minors to Graphs with Small Feedback Sets

10/1996
020D.S. Bridges and R. Mines

Sequentially Continuous Linear Mappings in Constructive Analysis

10/1996
021C.S. Calude and F.W. Meyerstein

Is the Universe Lawful?

11/1996
022I. Tomescu

On a problem of L. Priese

11/1996
023P. Cholak, S.S. Goncharov, B. Khoussainov and R.A. Shore

Computably Categorical Structures and Expansions by Constants

11/1996
024B. Khoussainov, A. Nies and R.A. Shore

Computably Presentable Models of Theories with Few Models

12/1996
025C.S. Calude, E. Calude and B. Khoussainov

Deterministic Automata: Simulation, Universality and Minimality

12/1996
1997 [49]
1998 [17]
1999 [26]
2000 [30]
2001 [23]
2002 [35]
2003 [22]
2004 [31]
2005 [17]
2006 [18]
2007 [23]
2008 [27]
2009 [31]
2010 [22]
2011 [20]
2012 [15]
2013 [21]
2014 [24]
2015 [17]
2016 [10]
2017 [10]


Please give us your feedback or ask us a question

This message is...


My feedback or question is...


My email address is...

(Only if you need a reply)

A to Z Directory | Site map | Accessibility | Copyright | Privacy | Disclaimer | Feedback on this page