Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10875)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: AUTOMATA 2018.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (10 papers)
Other volumes
-
Cellular Automata and Discrete Complex Systems
Keywords
- Cellular automata
- Discrete complex systems
- Finite automata
- Formal languages
- Models of parallelism
- Reversibility
- Asynchronous models
- Topological aspects
- Decidability
- Sandpile models
- Nonautomatic sequences
- Artificial intelligence
- cellular automata
- cellular automaton
- theorem proving
- numerical methods
- formal logic
- numerical experiments
- computatability
- decidability
About this book
The 10 regular papers presented in this book were carefully reviewed and selected from a total of 16 submissions. The papers highlight the major advances in the field and the development of new tools, support the development of theory and applications of CA and DCS and identify and study within an inter- and multidisciplinary context, the important fundamental aspects, concepts, notions and problems concerning CA and DCS.
Editors and Affiliations
Bibliographic Information
Book Title: Cellular Automata and Discrete Complex Systems
Book Subtitle: 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings
Editors: Jan M. Baetens, Martin Kutrib
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-92675-9
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: IFIP International Federation for Information Processing 2018
Softcover ISBN: 978-3-319-92674-2Published: 25 May 2018
eBook ISBN: 978-3-319-92675-9Published: 15 June 2018
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: IX, 143
Number of Illustrations: 38 b/w illustrations
Topics: Computation by Abstract Devices, Artificial Intelligence, Mathematical Logic and Formal Languages, Math Applications in Computer Science, Numeric Computing