A simple universal machine of type two and a formal proof of its correctness - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Document Associé À Des Manifestations Scientifiques Année : 2018

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

Fichier principal
Vignette du fichier
CCA2018Abstracts-7-8.pdf (90.23 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-02019706 , version 1

Citer

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⟩
24 Consultations
34 Téléchargements

Partager

Gmail Facebook X LinkedIn More