Publications
Search

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.