Tail-recursion; Program transformation; Term rewriting system; Inductive theorem proving;
机译:关于条件项重写系统的保留结构转换的注释
机译:用解开证明正规条件词改写系统计算等价变换的合理性
机译:关于泰特术语重写系统的变革
机译:用于术语重写系统的上下文变换的正确性
机译:术语重写系统和Church-Rosser财产
机译:一个CGIAR和综合农业食品系统倡议:从短期主义转变为世界食物系统
机译:模拟作为重写系统的正确转换
机译:派生对,重叠闭包和重写多米诺:用于分析术语重写系统的新工具