机译:具有终止检查器的多上下文重写归纳
Graduate School of Information Science and Technology, Hokkaido University, Sapporo-shi, 060- 0814 Japan;
rnGraduate School of Information Science and Technology, Hokkaido University, Sapporo-shi, 060- 0814 Japan;
equational theorem proving; term rewriting systems; mathematical induction; rewriting induction; multi-completion;
机译:具有终止检查器的多上下文重写归纳
机译:多上下文自动引词生成,用于具有发散检测的术语重写归纳
机译:机械化术语重写系统的弱地终端证明,结构和掩盖集合归纳法
机译:术语重写系统的终止检查器的并行化
机译:自动引理生成和用于重写归纳的多上下文方案
机译:线虫诱导的疫苗接种效果靶向卵泡T辅助细胞诱导感染终止后保留。
机译:具有终止检查器的多上下文重写归纳