(infinitary) normalization; term rewriting; termination;
机译:通过转换证明上下文相关的重写已终止
机译:基于变窄的有效重写及其对带有额外变量的术语重写系统的终止
机译:基于缩小的有效重写及其终止重写具有额外变量的重写系统
机译:终止(规范)上下文敏感重写
机译:太阳能终止冲击下的全层拾取离子加速度的重点运输方法:波动磁场和终止冲击结构的作用
机译:与哺乳动物细胞中同源重组的非规范终止相关的复杂断点和模板切换
机译:终止规范的上下文敏感重写和重写系统的生产力
机译:规范术语重写系统目录