| HAL-Inria | Publications, software ... of Inria's scientists |
Documents associated with scientific events
A simple universal machine of type two and a formal proof of its correctness
Cited literature [6 references]
https://hal.inria.fr/hal-02019706
Contributor : Florian Steinberg <>
Submitted on : Thursday, February 14, 2019 - 4:48:53 PM
Last modification on : Saturday, February 16, 2019 - 1:23:30 AM
Document(s) archivé(s) le : Wednesday, May 15, 2019 - 7:33:22 PM
Contributor : Florian Steinberg <>
Submitted on : Thursday, February 14, 2019 - 4:48:53 PM
Last modification on : Saturday, February 16, 2019 - 1:23:30 AM
Document(s) archivé(s) le : Wednesday, May 15, 2019 - 7:33:22 PM
File
CCA2018Abstracts-7-8.pdf
Files produced by the author(s)