A toolkit for generating and displaying proof scores in the OTS/CafeOBJ method.
A toolkit for generating and displaying proof scores in the OTS/CafeOBJ method.
复制标题
用于在 OTS/CafeOBJ 方法中生成和显示证明分数的工具包。
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
Kokichi Futatsugi
中科院分区：
文献类型：
--
作者：
Takahiro Seino;Kazuhiro Ogata;Kokichi Futatsugi
登录
查看更多内容
OTS/CafeOBJ 方法中的证明分数
DOI：
--
发表时间：
2003
期刊：
Lecture Notes in Computer Science,(FMOODS 2003), 2884
影响因子：
--
作者：
Kazuhiro Ogata;Kokichi Futatsugi
通讯作者：
Kokichi Futatsugi
计算领域的 AMAST 系列
DOI：
10.1142/amast
发表时间：
1993
期刊：
J. Univers. Comput. Sci.
影响因子：
--
作者：
T. Rus;A. Arnold
通讯作者：
A. Arnold
通过重写逻辑的反思构建方程证明工具
影响因子：
41.5
作者：
M. Clavel;F. Durán;S. Eker;J. Meseguer
通讯作者：
J. Meseguer
影响因子：
--
作者：
K. Ogata;K. Futatsugi
通讯作者：
K. Futatsugi
CAFE：工业强度的代数形式方法
DOI：
10.1016/b978-0-444-50556-9.x5059-x
发表时间：
2000
期刊：
J. Univers. Comput. Sci.
影响因子：
--
作者：
K. Futatsugi;A. T. Nakagawa;T. Tamai
通讯作者：
T. Tamai