共 13 条
- [2] EARLEY J, 1964, GENERATING PRODUCTIO
- [3] EICKEL J, 1964, 6401 TECH HOCH MUNCH
- [4] Floyd R. W., 1966, NEW PROOFS OLD THEOR
- [7] GINSBURG S, 1965, AM MATH SOC NOT, V12, P367
- [8] GINSBURG S, 1965, AM MATH SOC NOT, V12, P246
- [9] STRUCTURAL CONNECTIONS IN FORMAL LANGUAGES [J]. COMMUNICATIONS OF THE ACM, 1964, 7 (02) : 67 - 72
- [10] LYNCH WD, 1963, THESIS U WISCONSIN