Publications :: Search

Show venue

On this page you see the details of the selected venue.

Conference
Name:	International Colloquium Universal Machines and Computations, MCU'98, Metz, France, March 23-27, 1998, Proceedings, Volume I 1998
DBLP:	db/conf/mcu/mcu1998-1.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 11  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Joaquim Gabarró, Xavier Messeguer. Relaxed Tree Structures, a Way to Deal with Concurrency and Parallelism on Dictionaries.	International Colloquium Universal Machines and Computations, MCU'98, Metz, France, March 23-27, 1998, Proceedings, Volume I 1998	(0)	1998
	Conference paper David Harel. Towards a Theory of Recursive Structures.	International Colloquium Universal Machines and Computations, MCU'98, Metz, France, March 23-27, 1998, Proceedings, Volume I 1998	(0)	1998
	Conference paper Lila Kari, Greg Gloor, Sheng Yu. Using DNA to solve the Bounded Post Correspondence Problem.	International Colloquium Universal Machines and Computations, MCU'98, Metz, France, March 23-27, 1998, Proceedings, Volume I 1998	(0)	1998
	Conference paper Maurice Margenstern. Frontier between decidability and undecidability: a survey.	International Colloquium Universal Machines and Computations, MCU'98, Metz, France, March 23-27, 1998, Proceedings, Volume I 1998	(0)	1998
	Conference paper Yuri Matiyasevich. Universal Polynomials.	International Colloquium Universal Machines and Computations, MCU'98, Metz, France, March 23-27, 1998, Proceedings, Volume I 1998	(0)	1998
	Conference paper Christian Michaux, Christophe Troestler. Isomorphism Theorem for BSS Recursiveley Enumerable Sets over Real Closed Fields.	International Colloquium Universal Machines and Computations, MCU'98, Metz, France, March 23-27, 1998, Proceedings, Volume I 1998	(0)	1998
	Conference paper Gheorghe Paun. DNA Computing Based on Splicing: Universality Results.	International Colloquium Universal Machines and Computations, MCU'98, Metz, France, March 23-27, 1998, Proceedings, Volume I 1998	(0)	1998
	Conference paper Liudmila Pavlotskaya. On the notion of algorithmic decidability.	International Colloquium Universal Machines and Computations, MCU'98, Metz, France, March 23-27, 1998, Proceedings, Volume I 1998	(0)	1998
	Conference paper Géraud Sénizergues. Complete Formal Systems for Equivalence Problems.	International Colloquium Universal Machines and Computations, MCU'98, Metz, France, March 23-27, 1998, Proceedings, Volume I 1998	(0)	1998
	Conference paper Hava T. Siegelmann, Asa Ben-Hur, Shmuel Fishman. A Theory of Complexity for Continuous Time Dynamics.	International Colloquium Universal Machines and Computations, MCU'98, Metz, France, March 23-27, 1998, Proceedings, Volume I 1998	(0)	1998

Show item 1 to 10 of 11  

Your query returned 11 matches in the database.