Theorem proving based on proof scores for rewrite theory specifications of OTSs

被引：6
|
作者：
Ogata, Kazuhiro [1 ]
Futatsugi, Kokichi [1 ]
机构：
[1] School of Information Science, JAIST, Japan
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2014年 / 8373卷
基金：
日本学术振兴会;
关键词：
Theorem proving - Model checking;
D O I：
10.1007/978-3-642-54624-2_31
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：630 / 656
相关论文
共 50 条
12345