well-founded subexpression relation的意思|示意
美 / /
英 / /
良好的子表达式关系
well-founded subexpression relation的网络常见释义
良建子表达式关系 证明：本证明施联立归纳于的良建子表达式关系(well-founded subexpression relation)。 在此我们只须补充（1）关于D的证明，其余证明参见［1］的引理6.1 的证明。