Automated Inductive Theorem Proving using Transformations of Term Rewriting Systems

SATO KOICHI; KIKUCHI KENTARO; AOTO TAKAHITO; TOYAMA YOSHIHITO

Art

J-GLOBAL ID：201502213439604770 Reference number：15A0327275

Automated Inductive Theorem Proving using Transformations of Term Rewriting Systems

項書き換えシステムの変換を利用した帰納的定理自動証明

Publisher site {{ this.onShowPLink() }} Copy service {{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=15A0327275&COPY=1") }}
Access JDreamⅢ for advanced search and analysis. {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=15A0327275&from=J-GLOBAL&jstjournalNo=Y0628A") }}

Author (4)： , , ,
Material：
Volume： 32 Issue： 1 Page： 1.179-1.193 (J-STAGE) Publication year： 2015
JST Material Number： Y0628A ISSN： 0289-6540 Document type： Article
Article type：原著論文 Country of issue： Japan (JPN) Language： JAPANESE (JA)

, ,
, , ,

Mathematical linguistics

Return to Previous Page