Centre for Discrete Mathematics and Theoretical Computer Science


Research Reports


1995 [10]
1996 [15]
1997 [49]
026M.J. Dinneen, J.A. Ventura, M.C. Wilson and G. Zakeri

Compound Constructions of Minimal Broadcast Networks

01/1997
027H. Ishihara, B. Khoussainov and A. Nerode

Decidable Kripke Models of Intuitionistic Theories

01/1997
028N. Brand and M. Morton

Uniform Generalized Steinhaus Graphs

02/1997
029R.J. Coles, R.G. Downey and B. Khoussainov

On Initial Segments of Computable Linear Orders

03/1997
030S. Legg

Solomonoff Induction

03/1997
031B. Khoussainov and R.A. Shore

Computable Isomorphisms, Degree Spectra of Relations, and Scott Families

04/1997
032C.S. Calude, P.H. Hertling and B. Khoussainov

Do the Zeros of the Riemann's Zeta-Function Form a Random Sequence?

04/1997
033Y. Wang

Randomness, Stochasticity and Approximations

04/1997
034A. Arslanov

On a Conjecture of M. Van Lambalgen

05/1997
035B. Khoussainov, A. Yakhnis and V. Yakhnis

Clusters of Two Player Games and Restricted Determinacy Theorem

05/1997
036C.S. Calude, P.H. Hertling and K. Svozil

Embedding Quantum Universes into Classical Ones

05/1997
037D.S. Bridges, F. Richman and P. Schuster

Linear Independence and Choice

05/1997
038F. Richman and D.S. Bridges

A Constructive Proof of Gleason's Theorem

05/1997
039C.S. Calude

A Genius' Story: Two Books on Godel

06/1997
040E. Calude and M. Lipponen

Deterministic Incomplete Automata: Simulation, Universality and Complementarity

06/1997
041M. Conder

Explicit Definition of the Binary Reflected Gray Codes

06/1997
042M. Conder

Small Trivalent Graphs of Large Girth

06/1997
043G. Alford

An Explicit Construction of a Universal Extended H System

08/1997
044U. Guenther, P.H. Hertling, R. Nicolescu and M.R. Titchener

Representing Variable-Length Codes in Fixed-Length T-Depletion Format in Encoders and Decoders

08/1997
045B. Khoussainov, A. Yakhnis and V. Yakhnis

Games with Unknown Past

08/1997
046B. Khoussainov and A.M. Slinko

Nonassociative Computable Rings and Their Isomorphisms

08/1997
047R.G. Downey

On the Universal Splitting Property

08/1997
048R.G. Downey and A. Nies

Undecidability Results for Low Complexity Degree Structures

08/1997
049R.G. Downey, M.R. Fellows and K.W. Regan

Parameterized Circuit Complexity and the W Hierarchy

08/1997
050K. Cattell, M.J. Dinneen, R.G. Downey, M.R. Fellows and M.A. Langston

On Computing Graph Minors Obstruction Sets

08/1997
051R.G. Downey and C.G. Jockusch Jr

Effective Presentability of Boolean Algebras of Cantor-Bendixson Rank 1

08/1997
052R.G. Downey, M.R. Fellows, A. Vardy and G. Whittle

The Parameterized Complexity of Some Fundamental Problems in Coding Theory

08/1997
053C.S. Calude and M. Lipponen

Computational Complementarity and Sofic Shifts

08/1997
054C.S. Calude, E. Calude and B. Khoussainov

Finite Nondeterministic Automata: Simulation and Minimality

09/1997
055M.J. Dinneen

Practical Enumeration Methods for Graphs of Bounded Pathwidth and Treewidth

09/1997
056D.S. Bridges and L.S. Dediu

Paradise Lost, or Paradise Regained?

09/1997
057P.H. Hertling

The Real Number Structure is Effectively Categorical

09/1997
058H.W. Guesgen

Imprecise Reasoning about Geographic Information

09/1997
059C.S. Calude, P.H. Hertling, B. Khoussainov and Y. Wang

Recursively Enumerable Reals and Chaitin Omega Numbers

10/1997
060E. Calude and M. Lipponen

Minimal Deterministic Incomplete Automata

10/1997
061P.H. Hertling and Y. Wang

Invariance Properties of Random Sequences

10/1997
062C.S. Calude and A. Nies

Chaitin Omega Numbers and Strong Reducibilities

10/1997
063C.S. Calude, L. Priese and L. Staiger

Disjunctive Sequences: An Overview

10/1997
064P.H. Hertling

Surjective Functions on Computably Growing Cantor Sets

10/1997
065P.H. Hertling

Embedding Cellular Automata into Reversible Ones

10/1997
066V.E. Cazanescu

Feedback for Relations

11/1997
067P.H. Hertling

The Effective Riemann Mapping Theorem

11/1997
068D.S. Bridges and S. Reeves

Constructive Mathematics, in Theory and Programming Practice

11/1997
069D.S. Bridges, F. Richman and P. Schuster

Adjoints, Absolute Values and Polar Decompostions

11/1997
070D.S. Bridges, C.S. Calude, B. Pavlov and D. Stefanescu

The Constructive Implicit Function Theorem and Applications in Mechanics

11/1997
071C. Martin-Vide and G. Paun

Cooperating Distributed Splicing Systems

12/1997
072G. Paun

DNA Computing Based on Splicing: Universality Results

12/1997
073G. Paun

Two-Level Distributed H Systems

12/1997
074C.S. Calude and P.H. Hertling

Computable Approximations of Reals: An Information-Theoretic Analysis

12/1997
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