Research Reports

011

A. Arslanov

Difference Splittings of Recursively Enumerable Sets

01/1996

012

I. Antoniou, B. Pavlov and A. Yafyasov

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

04/1996

013

C. Calude and C. Grozea

Kraft-Chaitin Inequality Revisited

04/1996

014

C. Calude

Algorithmic Information Theory: Open Problems

05/1996

015

C. Calude, E. Calude, K. Svozil and S. Yu

Physical versus Computational Complementarity I

06/1996

016

C.J. Colbourn and P.B. Gibbons

Uniform Orthogonal Group Divisible Designs with Block Size Three

08/1996

017

B. Khoussainov

Randomness, Computability, and Algebraic Specifications

08/1996

018

B. Khoussainov and R.A. Shore

Scott Families and Computably Categorical Structures

09/1996

019

M.J. Dinneen, K. Cattell and M.R. Fellows

Forbidden Minors to Graphs with Small Feedback Sets

10/1996

020

D.S. Bridges and R. Mines

Sequentially Continuous Linear Mappings in Constructive Analysis

10/1996

021

C. Calude and F.W. Meyerstein

Is the Universe Lawful?

11/1996

022

I. Tomescu

On a problem of L. Priese

11/1996

023

P. Cholak, S.S. Goncharov, B. Khoussainov and R.A. Shore

Computably Categorical Structures and Expansions by Constants

11/1996

024

B. Khoussainov, A. Nies and R.A. Shore

Computably Presentable Models of Theories with Few Models

12/1996

025

C. Calude, E. Calude and B. Khoussainov

Deterministic Automata: Simulation, Universality and Minimality

12/1996