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

Florian Steinberg

Documents Associated With Scientific Events Year :

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

(1)

1

Florian Steinberg

Function : Author

Mathematical, Reasoning and Software

Domains

Computer Science [cs] Computation and Language [cs.CL]

Fichier principal

CCA2018Abstracts-7-8.pdf (90.23 Ko)

Origin : Files produced by the author(s)

Florian Steinberg : Connect in order to contact the contributor

https://hal.inria.fr/hal-02019706

Submitted on : Thursday, February 14, 2019-4:48:53 PM

Last modification on : Saturday, June 25, 2022-11:34:36 PM

Long-term archiving on: Wednesday, May 15, 2019-7:33:22 PM

Dates and versions

hal-02019706 , version 1 (14-02-2019)

Identifiers

HAL Id : hal-02019706 , version 1

Cite

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⟩

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

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share