Nominal syntax; Non-capturing substitution; Rewriting; Unification;
机译:用广义名义统一重写
机译:将元变量作为名义上的无限列表进行统一和重写
机译:通过保护变量的统一对名义C匹配进行形式化
机译:原子替换的标称语法:匹配,统一,重写
机译:ch'ol = ch'OL中标称和字词语法的相互依赖性= CH'OL中标称和符号语法的相互依赖
机译:倾向评分匹配分析语法评分和语法评分II对ST段抬高型心肌梗死患者新发房颤的影响
机译:具有绑定支持的重写形式主义:比较组合归约系统和具有原子替换的名义重写系统