共 9 条
- [2] BOTTOM-UP AND TOP-DOWN TREE TRANSFORMATIONS - COMPARISON [J]. MATHEMATICAL SYSTEMS THEORY, 1975, 9 (03): : 198 - 231
- [3] ENGELFRIET J, 1975, PB49 DAIMI AARH U RE
- [4] ENGELFRIET J, 1978, 10TH P ACM S THEOR C, P66
- [5] OGDEN WF, 1972, 4TH P ACM S THEOR CO, P198
- [6] Rounds W.C., 1970, MATH SYST THEORY, V4, P257, DOI DOI 10.1007/BF01695769
- [7] ROUNDS WC, 1968, THESIS STANFORD U
- [8] Thatcher J.W., 1970, J COMPUT SYST SCI, V4, P339, DOI DOI 10.1016/S0022-0000(70)80017-4
- [9] THATCHER JW, 1973, CURRENTS THEORY COMP