Diffusion afp-devel 9e2b85708f73

updated entry for Universal Turing Machines
9e2b85708f73
Actions

Tags

None

Subscribers

None

Description

updated entry for Universal Turing Machines

Details

Provenance

Christian Urban <christian.urban@kcl.ac.uk>

Authored on

Parents

rAFPda1092b22903: merged

Branches

Unknown

Tags

Unknown

Event Timeline

Christian Urban <christian.urban@kcl.ac.uk> committed rAFP9e2b85708f73: updated entry for Universal Turing Machines.Sep 7 2022, 11:06 AM

Changes (3)

Path

Size

metadata/

entries/

Universal_Turing_Machine.toml

thys/

Universal_Turing_Machine/

document/

rAFP9e2b85708f73

metadata/authors.toml

Loading...

metadata/entries/Universal_Turing_Machine.toml

Loading...

thys/Universal_Turing_Machine/document/root.tex

Loading...