A simple universal machine of type two and a formal proof of its correctness
Domaines
Informatique et langage [cs.CL]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Florian Steinberg : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-02019706
Soumis le : jeudi 14 février 2019-16:48:53
Dernière modification le : mercredi 15 mars 2023-08:58:09
Archivage à long terme le : mercredi 15 mai 2019-19:33:22