Automated inductive theorem proving using transformations of term rewriting systems

被引：0

作者：

Sato, Koichi ^{[1
]}

Kikuchi, Kentaro ^{[1
]}

Aoto, Takahito ^{[1
]}

Toyama, Yoshihito ^{[1
]}

机构：

[1] Research Institute of Electrical Communication, Tohoku University, Japan

来源：

Computer Software | 2015年 / 32卷 / 01期

关键词：

Automated theorem proving - Automated verification - Functional programs - Inductive Theorem Proving - Program transformation techniques - Recursive programs - Tail recursive - Term rewriting systems;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：179 / 193