C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
MCU (1)
1998
1998
1998
Keyphrases
Publications
1998
Géraud Sénizergues
Complete Formal Systems for Equivalence Problems.
MCU (1)
(1998)
Gheorghe Paun
DNA Computing Based on Splicing: Universality Results.
MCU (1)
(1998)
International Colloquium Universal Machines and Computations, MCU'98, Metz, France, March 23-27, 1998, Proceedings, Volume I
MCU (1)
(1998)
David Harel
Towards a Theory of Recursive Structures.
MCU (1)
(1998)
Hiroshi Umeo
A deisgn of cellular algorithms for 1-bit inter-call communications and related cellular algorithms.
MCU (1)
(1998)
Maurice Margenstern
Frontier between decidability and undecidability: a survey.
MCU (1)
(1998)
Christian Michaux
,
Christophe Troestler
Isomorphism Theorem for BSS Recursiveley Enumerable Sets over Real Closed Fields.
MCU (1)
(1998)
Lila Kari
,
Greg Gloor
,
Sheng Yu
Using DNA to solve the Bounded Post Correspondence Problem.
MCU (1)
(1998)
Liudmila Pavlotskaya
On the notion of algorithmic decidability.
MCU (1)
(1998)
Hava T. Siegelmann
,
Asa Ben-Hur
,
Shmuel Fishman
A Theory of Complexity for Continuous Time Dynamics.
MCU (1)
(1998)
Joaquim Gabarró
,
Xavier Messeguer
Relaxed Tree Structures, a Way to Deal with Concurrency and Parallelism on Dictionaries.
MCU (1)
(1998)
Yuri V. Matiyasevich
Universal Polynomials.
MCU (1)
(1998)