共 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