A simple universal machine of type two and a formal proof of its correctness - Archive ouverte HAL Access content directly
Documents Associated With Scientific Events Year :

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

(1)
1
Fichier principal
Vignette du fichier
CCA2018Abstracts-7-8.pdf (90.23 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

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⟩
22 View
26 Download

Share

Gmail Facebook Twitter LinkedIn More