(Q56112363)

English

A formalization of multi-tape Turing machines

No description defined

In more languages
default for all languages
No label defined

No description defined

Statements

A formalization of multi-tape Turing machines (English)
0 references
Andrea Asperti
0 references
Wilmer Ricciotti
0 references
October 2015
0 references
603
0 references
23-42
0 references

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit