A simple universal machine of type two and a formal proof of its correctness

Florian Steinberg 1
1 MARELLE - Mathematical, Reasoning and Software
CRISAM - Inria Sophia Antipolis - Méditerranée
Document type :
Documents associated with scientific events
Complete list of metadatas

Cited literature [6 references]  Display  Hide  Download

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
Long-term archiving on : Wednesday, May 15, 2019 - 7:33:22 PM

File

CCA2018Abstracts-7-8.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02019706, version 1

Collections

Citation

Florian Steinberg. A simple universal machine of type two and a formal proof of its correctness. CCA 2018 - 15th International Conference on Computability and Complexity in Analysis, Aug 2018, Kochel, Germany. ⟨hal-02019706⟩

Share

Metrics

Record views

19

Files downloads

76