Quantificational variants on the halting problem for turing machines.
- Published in:
- Mathematical Logic Quarterly, 1969, v. 15, n. 13-15, p. 211, doi. 10.1002/malq.19690151302
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1969 AND VI 15 AND IP 13-15
Results: 6
1
2
MODÈLES DE LA THÉORIE GÉNÉRALE DES ENSEMBLES, CONSTRUITS SUR LES NOMBRES-<sub>ε</sub>.
- Published in:
- Mathematical Logic Quarterly, 1969, v. 15, n. 13-15, p. 239, doi. 10.1002/malq.19690151306
- By:
- Publication type:
- Article
3
EIN ENTSCHEIDUNGSVERFAHREN FÜR DEN LEWISSCHEN MODALKALKÜL S 4.
- Published in:
- Mathematical Logic Quarterly, 1969, v. 15, n. 13-15, p. 193, doi. 10.1002/malq.19690151301
- By:
- Publication type:
- Article
4
ε<sup>0</sup>-Arithmetic.
- Published in:
- Mathematical Logic Quarterly, 1969, v. 15, n. 13-15, p. 237, doi. 10.1002/malq.19690151305
- By:
- Publication type:
- Article
5
ÜBER NICHTSTANDARDMODELLE DER ARITHMETIK UND DER RATIONALEN ZAHLEN.
- Published in:
- Mathematical Logic Quarterly, 1969, v. 15, n. 13-15, p. 223, doi. 10.1002/malq.19690151304
- By:
- Publication type:
- Article
6
A reduction theorem for normal algorithms.
- Published in:
- Mathematical Logic Quarterly, 1969, v. 15, n. 13-15, p. 219, doi. 10.1002/malq.19690151303
- By:
- Publication type:
- Article