Proceedings Machines, Computations and Universality 2013
Turlough Neary (University of Z\"urich, ETH Z\"urich), Matthew Cook, (University of Z\"urich, ETH Z\"urich)
TL;DR
This collection of papers from MCU 2013 explores new universal models of computation and clarifies relationships between different computational models, advancing theoretical understanding in the field.
Contribution
The volume introduces new simple universal models of computation and provides insights into the relationships between various computational models.
Findings
Introduction of new simple universal models
Clarification of relationships between models
Advancement in theoretical understanding of computation
Abstract
This volume contains the papers presented at the 6th conference on Machines, Computations and Universality (MCU 2013). MCU 2013 was held in Zurich, Switzerland, September 9-11, 2013. The MCU series began in Paris in 1995 and has since been concerned with gaining a deeper understanding of computation through the study of models of general purpose computation. This volume continues in this tradition and includes new simple universal models of computation, and other results that clarify the relationships between models.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.