Theoretical Computer Science and General Issues

Machines, Computations, and Universality

7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings

Editors: Durand-Lose, Jérôme, Nagy, Benedek (Eds.)

Free Preview

Buy this book

eBook $44.99
price for USA in USD (gross)
  • ISBN 978-3-319-23111-2
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.99
price for USA in USD
  • ISBN 978-3-319-23110-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the refereed proceedings of the 7th International Conference on Machines, Computations, and Universality, MCU 2015, held in Famagusta, North Cyprus, in September 2015.

The 10 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 23 submissions. MCU explores computation in the setting of various discrete models (Turing machines, register machines, cellular automata, tile assembly systems, rewriting systems, molecular computing models, neural models, etc.) and analog and hybrid models (BSS machines, infinite time cellular automata, real machines, quantum computing, etc.).

Table of contents (12 chapters)

Table of contents (12 chapters)
  • Decidability Problems for Self-induced Systems Generated by a Substitution

    Jolivet, Timo (et al.)

    Pages 3-16

  • Towards Formal Verification of Computations and Hypercomputations in Relativistic Physics

    Stannett, Mike

    Pages 17-27

  • A Connection Between Red-Green Turing Machines and Watson-Crick T0L Systems

    Csuhaj-Varjú, Erzsébet (et al.)

    Pages 31-44

  • Tight Bounds for Cut-Operations on Deterministic Finite Automata

    Drewes, Frank (et al.)

    Pages 45-60

  • Non-isometric Contextual Array Grammars with Regular Control and Local Selectors

    Fernau, Henning (et al.)

    Pages 61-78

Buy this book

eBook $44.99
price for USA in USD (gross)
  • ISBN 978-3-319-23111-2
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.99
price for USA in USD
  • ISBN 978-3-319-23110-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Machines, Computations, and Universality
Book Subtitle
7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings
Editors
  • Jérôme Durand-Lose
  • Benedek Nagy
Series Title
Theoretical Computer Science and General Issues
Series Volume
9288
Copyright
2015
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-23111-2
DOI
10.1007/978-3-319-23111-2
Softcover ISBN
978-3-319-23110-5
Edition Number
1
Number of Pages
XX, 199
Number of Illustrations
41 b/w illustrations
Topics