共 32 条
- [1] BERSTEL J, 1976, SEMINAIRE INFORMATIQ, P123
- [4] TESTING FOR THE CHURCH-ROSSER PROPERTY [J]. THEORETICAL COMPUTER SCIENCE, 1981, 16 (02) : 223 - 229
- [5] BOOK RV, 1980, IEEE T COMPUT, V29, P324
- [6] BOONE W, 1959, ANN MATH, P207
- [8] CHURCH A, 1939, T AM MATH SOC, V39, P472
- [9] ORDERINGS FOR TERM-REWRITING SYSTEMS [J]. THEORETICAL COMPUTER SCIENCE, 1982, 17 (03) : 279 - 301
- [10] Doner J.E., 1970, J COMPUT SYST SCI, V4, P406