Centre for Discrete Mathematics and Theoretical Computer Science


Research Reports


1995 [10]
1996 [15]
1997 [49]
1998 [17]
1999 [26]
2000 [30]
118M.J. Dinneen and L. Xiong

The Minor-Order Obstructions for The Graphs of Vertex Cover Six

01/2000
119G. Paun

Computing with Membranes (P Systems): Twenty Six Research Topics

02/2000
120G. Krenn, J. Summhammer and K. Svozil

Interferometric Information Gain Versus Interaction-Free Measurement

02/2000
121H. Havlicek, G. Krenn, J. Summhammer and K. Svozil

On Coloring the Rational Quantum Sphere

02/2000
122K. Svozil

Solution of Problem No. 10769

02/2000
123J. Castellanos, G. Paun and A. Rodriguez-Paton

Computing with Membranes: P Systems with Worm-Objects

02/2000
124S.S. Goncharov and B. Khoussainov

Open Problems in the Theory of Constructive Algebraic Systems

03/2000
125B. Khoussainov

On Computable Theoretic Properties of Structures and Their Cartesian Products

03/2000
126B. Khoussainov

Algebraic Constraints, Automata, and Regular Languages

03/2000
127M.J. Dinneen and B. Khoussainov

Update Networks and Their Routing Strategies

03/2000
128B. Khoussainov and S. Rubin

Finite Automata and Isomorphism Types

03/2000
129B. Khoussainov and R.A. Shore

Solutions of the Goncharov-Millar and Degree Spectra Problems in The Theory of Computable Models

03/2000
130C.S. Calude, M.J. Dinneen and K. Svozil

Reflections on Quantum Computing

03/2000
131B. Khoussainov and R.A. Shore

Effective Model Theory: The Number of Models and Their Complexity

03/2000
132C.S. Calude and B. Pavlov

The Poincare-Hardy Inequality on the Complement of a Cantor Set

05/2000
133M.D. Kearse and P.B. Gibbons

Computational Methods and New Results for Chessboard Problems

05/2000
134C.S. Calude and M.J. Dinneen (editors)

The 5th Anniversary Workshop on Discrete Mathematics and Theoretical Computer Science

05/2000
135R.G. Downey and G.L. LaForte

Presentations of Computably Enumerable Reals

05/2000
136K. Svozil

Quantum Interfaces

05/2000
137K. Svozil

Science at the Crossroad Between Randomness and Determinism

05/2000
138C. Areces and V. Becher

Analytic AGM Revision

06/2000
139

--skipped--

07/2000
140C.S. Calude, M.J. Dinneen and G. Paun (editors)

Pre-Proceedings of the Workshop on Multiset Processing

08/2000
141C.S. Calude

Real Numbers: From Computable to Random

08/2000
142R. Pemantle and M.C. Wilson

Asymptotics of Multivariate Sequences II. Multiple Points of the Singular Variety

08/2000
143C.S. Calude

Who Is Afraid of Randomness?

09/2000
144R.G. Downey, D.R. Hirschfeldt and A. Nies

Randomness, Computability, and Density

09/2000
145K. Svozil

Quantum Information: The New Frontier

09/2000
146C.S. Calude, M.J. Dinneen and C.-K. Shu

Computing 80 Initial Bits of A Chaitin Omega Number

11/2000
147I. Antoniou, C.S. Calude and M.J. Dinneen (editors)

Supplemental Papers for the 2nd Unconventional Models of Computation Conference

11/2000
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