Publication | Closed Access
Turing machines, transition systems, and interaction
100
Citations
31
References
2004
Year
Abstract MachineTransition SystemsEngineeringAutomated ReasoningAutomationComputational Model TheoryFormal MethodsLinguisticsTuring Machine
| Year | Citations | |
|---|---|---|
Page 1
Page 1