Publication | Open Access
A formalization of multi-tape Turing machines
20
Citations
20
References
2015
Year
Abstract MachineEngineeringMulti-tape Turing MachinesAutomated ReasoningFormal MethodsComputer ScienceFinite-state SystemFormal VerificationTuring Machine
| Year | Citations | |
|---|---|---|
Page 1
Page 1