A Minimal Computational Theory of a Minimal Computational Universe

Arnon Avron, Liron Cohen 0001. A Minimal Computational Theory of a Minimal Computational Universe. In Sergei N. Artëmov, Anil Nerode, editors, Logical Foundations of Computer Science - International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings. Volume 10703 of Lecture Notes in Computer Science, pages 37-54, Springer, 2018. [doi]

Authors

Arnon Avron

This author has not been identified. Look up 'Arnon Avron' in Google

Liron Cohen 0001

This author has not been identified. Look up 'Liron Cohen 0001' in Google