共 20 条
- [1] BROWN PJ, 1963, 19 U NORTH CAR COMP
- [3] CAVINESS BF, 1967, THESIS CARNEGIE MELL
- [5] Davis M, 1963, ILLINOIS J MATH, V7, P246
- [6] DAVIS M, 1966, AUTOMATA THEORY, P146
- [7] DAVIS M, 1958, J SYMBOLIC LOGIC, V23, P183
- [8] FENICHEL R, 1966, THESIS HARVARD U
- [9] HILBERT D, 1901, B AM MATH SOC, V8, P437
- [10] ITURRIAGA R, 1967, THESIS CARNEGIE MELL