共 25 条
- [1] ARBIB MA, 1969, THEORIES ABSTRACT AU
- [2] Ausiello G., 1971, Journal of Computer and System Sciences, V5, P118, DOI 10.1016/S0022-0000(71)80030-2
- [5] Church A., 1940, B AM MATH SOC, V46, P130
- [6] Davis M., 1958, COMPUTABILITY UNSOLV
- [7] GOGUEN JA, 1975, INT J GEN SYST, V1, P237
- [8] LOFGREN L, 1971, J SYMBOLIC LOGIC, V36, P360
- [9] LOFGREN L, 1972, TRENDS GENERAL SYSTE
- [10] LOFGREN L, 1973, LOGIC METHODOLOGY PH, V4