机译:具有可变活页夹的术语重写系统的初始代数方法
Department of Computer Science, Gunma University, Japan;
term rewriting systems; abstract syntax with variable binding; higher-order abstract syntax; initial algebra semantics;
机译:基于变窄的有效重写及其对带有额外变量的术语重写系统的终止
机译:基于缩小的有效重写及其终止重写具有额外变量的重写系统
机译:Web信息系统的个性化-术语重写方法
机译:术语重写与可变绑定:初始代数方法
机译:术语重写系统和Church-Rosser财产
机译:Maple中微分-代数方程组的初值问题
机译:非重叠术语重写系统的终止持久性(代数系统,形式语言以及常规和非常规计算理论)