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
Liste complète des métadonnées

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

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

7

Files downloads

69