Advertisement

Machines, Computations, and Universality

4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers

  • Maurice Margenstern
Conference proceedings MCU 2004

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3354)

Table of contents

  1. Front Matter
  2. Invited Lectures

    1. Alain Colmerauer
      Pages 18-35
    2. Juhani Karhumäki
      Pages 36-49
    3. K. Sutner
      Pages 50-59
    4. Klaus W. Wagner
      Pages 60-81
  3. Selected Contributions

    1. Artiom Alhazov, Rudolf Freund, Gheorghe Păun
      Pages 82-92
    2. S. Bandini, G. Mauri, G. Pavesi, C. Simone
      Pages 93-103
    3. Jean-Charles Delvenne, Petr Kůrka, Vincent D. Blondel
      Pages 104-115
    4. Olivier Bournez, Emmanuel Hainry
      Pages 116-127
    5. Giusi Castiglione, Antonio Restivo
      Pages 128-139
    6. Matteo Cavaliere, Peter Leupold
      Pages 153-163
    7. Jerzy Mycka, José Félix Costa
      Pages 164-175
    8. Kellie Michele Evans
      Pages 188-199
    9. Rudolf Freund, Alberto Leporati, Marion Oswald, Claudio Zandron
      Pages 200-210
    10. Chuzo Iwamoto, Naoki Hatayama, Kenichi Morita, Katsunobu Imai, Daisuke Wakamatsu
      Pages 211-222
    11. Hiroshi Umeo, Masaya Hisaoka, Masato Teraoka, Masashi Maeda
      Pages 223-232
    12. Markus Holzer, Martin Kutrib
      Pages 233-244
    13. Kenichi Morita, Tsuyoshi Ogiro, Keiji Tanaka, Hiroko Kato
      Pages 245-256
    14. Alberto Leporati, Claudio Zandron, Giancarlo Mauri
      Pages 257-268
    15. Florin Manea, Carlos Martín-Vide, Victor Mitrana
      Pages 269-280
    16. Alexander Okhotin
      Pages 292-303
    17. Mario J. Pérez Jiménez, Francisco J. Romero Campero
      Pages 304-315
    18. René Schott, Jean-Claude Spehner
      Pages 316-327
  4. Back Matter

About these proceedings

Keywords

Erfüllbarkeitsproblem der Aussagenlogik Monoid P systems algorithms automata cellular automata complexity formal language logic natural computing ramdomness theoretical computer science theory of computing turing machines universality

Editors and affiliations

  • Maurice Margenstern
    • 1
  1. 1.IUT de Metz, LITAUniversité Paul Verlaine - MetzMetz, CédexFrance

Bibliographic information

  • DOI https://doi.org/10.1007/b106980
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-25261-0
  • Online ISBN 978-3-540-31834-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications