Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10881)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: MCU 2018.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (9 papers)
Other volumes
-
Machines, Computations, and Universality
Keywords
About this book
This book constitutes the refereed proceedings of the 8th International Conference on Machines, Computations, and Universality, MCU 2018, held in Fontainebleau, France, in June 2018.
The 9 revised full papers presented together with 5 invited talks were carefully reviewed and selected from numerous 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, concurrent systems, etc.) and analog and hybrid models (BSS machines, infinite time cellular automata, real machines, quantum computing, etc.).
Editors and Affiliations
Bibliographic Information
Book Title: Machines, Computations, and Universality
Book Subtitle: 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings
Editors: Jérôme Durand-Lose, Sergey Verlan
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-92402-1
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG, part of Springer Nature 2018
Softcover ISBN: 978-3-319-92401-4Published: 26 May 2018
eBook ISBN: 978-3-319-92402-1Published: 04 June 2018
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVII, 171
Number of Illustrations: 27 b/w illustrations
Topics: Algorithm Analysis and Problem Complexity, Computer System Implementation, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Special Purpose and Application-Based Systems