共 50 条
- [5] AUTOMATED MODELS OF TURING-MACHINES [J]. DOKLADY AKADEMII NAUK SSSR, 1986, 291 (02): : 280 - 284
- [6] UNITARY DILATION MODELS OF TURING-MACHINES IN QUANTUM-MECHANICS [J]. PHYSICAL REVIEW A, 1995, 51 (05): : 3513 - 3524
- [8] TURING-MACHINES AND THE ENTSCHEIDUNGSPROBLEM [J]. MATHEMATISCHE ANNALEN, 1962, 148 (03) : 201 - 213