3. MCU 2001: Chisinau, Moldavia

Maurice Margenstern, Yurii Rogozhin (Eds.): Machines, Computations, and Universality, Third International Conference, MCU 2001, Chisinau, Moldavia, May 23-27, 2001, Proceedings. Lecture Notes in Computer Science 2055 Springer 2001, ISBN 3-540-42121-1 BibTeX

@proceedings{DBLP:conf/mcu/2001,
  editor    = {Maurice Margenstern and
               Yurii Rogozhin},
  title     = {Machines, Computations, and Universality, Third International
               Conference, MCU 2001, Chisinau, Moldavia, May 23-27, 2001, Proceedings},
  booktitle = {MCU},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2055},
  year      = {2001},
  isbn      = {3-540-42121-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Lectures

Claudio Baiocchi:
Three Small Universal Turing Machines. 1-10
Electronic Edition (Springer LINK) BibTeX
Asa Ben-Hur, Hava T. Siegelmann:
Computation in Gene Networks. 11-24
Electronic Edition (Springer LINK) BibTeX
Jozef Gruska, Hiroshi Imai:
Power, Puzzles and Properties of Entanglement. 25-68
Electronic Edition (Springer LINK) BibTeX
Juhani Karhumäki:
Combinatorial and Computational Problems on Finite Sets of Words. 69-81
Electronic Edition (Springer LINK) BibTeX
Carlos Martín-Vide, Gheorghe Paun:
Computing with Membranes (P Systems): Universality Results. 82-101
Electronic Edition (Springer LINK) BibTeX
Kenichi Morita:
A Simple Universal Logic Element and Cellular Automata for Reversible Computing. 102-113
Electronic Edition (Springer LINK) BibTeX
Géraud Sénizergues:
Some Applications of the Decidability of DPDA's Equivalence. 114-132
Electronic Edition (Springer LINK) BibTeX
Vladimir A. Zakharov:
The Equivalence Problem for Computational Models: Decidable and Undecidable Cases. 133-152
Electronic Edition (Springer LINK) BibTeX
Claudio Zandron, Claudio Ferretti, Giancarlo Mauri:
Two Normal Forms for Rewriting P Systems. 153-164
Electronic Edition (Springer LINK) BibTeX

Technical Contributions

Vincent D. Blondel, Julien Cassaigne, Codrin M. Nichitiu:
On a Conjecture of Kurka. A Turing Machine with No Periodic Configurations. 165-176
Electronic Edition (Springer LINK) BibTeX
Didier Caucal:
On the Transition Graphs of Turing Machines. 177-189
Electronic Edition (Springer LINK) BibTeX
Gabriel Ciobanu, Mihai Rotaru:
JC-Nets. 190-201
Electronic Edition (Springer LINK) BibTeX
Henning Fernau:
Nonterminal Complexity of Programmed Grammars. 202-213
Electronic Edition (Springer LINK) BibTeX
Rudolf Freund, Gheorghe Paun:
On the Number of Non-terminal Symbols in Graph-Controlled, Programmed and Matrix Grammars. 214-225
Electronic Edition (Springer LINK) BibTeX
Pierluigi Frisco:
A Direct Construction of a Universal Extended H System. 226-239
Electronic Edition (Springer LINK) BibTeX
Chuzo Iwamoto, Katsuyuki Tateishi, Kenichi Morita, Katsunobu Imai:
Speeding-Up Cellular Automata by Alternations. 240-251
Electronic Edition (Springer LINK) BibTeX
Martin Kutrib:
Efficient Universal Pushdown Cellular Automata and Their Application to Complexity. 252-263
Electronic Edition (Springer LINK) BibTeX
Salvatore La Torre, Margherita Napoli, Mimmo Parente:
Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints. 264-275
Electronic Edition (Springer LINK) BibTeX
Madhu Mutyam, Kamala Krithivasan:
P Systems with Membrane Creation: Universality and Efficiency. 276-287
Electronic Edition (Springer LINK) BibTeX
Thomas J. Naughton, Damien Woods:
On the Computational Power of a Continuous-Space Optical Model of Computation. 288-299
Electronic Edition (Springer LINK) BibTeX
Zenon Sadowski:
On a P-optimal Proof System for the Set of All Satisfiable Boolean Formulas (SAT). 300-307
Electronic Edition (Springer LINK) BibTeX
Petr Sosík:
D0L System + Watson-Crick Complementarity = Universal Computation. 308-320
Electronic Edition (Springer LINK) BibTeX