Physical Computation and First-Order Logic

Richard Whyman. Physical Computation and First-Order Logic. In Jérôme Durand-Lose, Sergey Verlan, editors, Machines, Computations, and Universality - 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings. Volume 10881 of Lecture Notes in Computer Science, pages 153-169, Springer, 2018. [doi]

Abstract

Abstract is missing.