International Colloquium Universal Machines and Computations, MCU 98, Metz, France, March 23-27, 1998, Proceedings, Volume I - researchr publication

researchr

You are not signed in
Sign in
Sign up

Maurice Margenstern, editor, International Colloquium Universal Machines and Computations, MCU 98, Metz, France, March 23-27, 1998, Proceedings, Volume I. IUT Metz, 1998.

Conference: mcu1998

Abstract is missing.

Universal PolynomialsYuri Matiyasevich. 1-20

Complete Formal Systems for Equivalence ProblemsGéraud Sénizergues. 22-49

Using DNA to solve the Bounded Post Correspondence ProblemLila Kari, Greg Gloor, Sheng Yu. 51-65

DNA Computing Based on Splicing: Universality ResultsGheorghe Paun. 67-91

Towards a Theory of Recursive StructuresDavid Harel. 93-114

Isomorphism Theorem for BSS Recursiveley Enumerable Sets over Real Closed FieldsChristian Michaux, Christophe Troestler. 116-139

Frontier between decidability and undecidability: a surveyMaurice Margenstern. 141-177

A Theory of Complexity for Continuous Time DynamicsHava T. Siegelmann, Asa Ben-Hur, Shmuel Fishman. 179-203

On the notion of algorithmic decidabilityLiudmila Pavlotskaya. 205-209

A deisgn of cellular algorithms for 1-bit inter-call communications and related cellular algorithmsHiroshi Umeo. 211-227

Relaxed Tree Structures, a Way to Deal with Concurrency and Parallelism on DictionariesJoaquim Gabarró, Xavier Messeguer. 229-269

runs on WebDSL