×
模态框(Modal)标题
在这里添加一些文本
关闭
关闭
提交更改
取消
确定并提交
×
模态框(Modal)标题
×
主管单位:中国科学技术协会
主办单位:中国通信学会
ISSN 1000-436X CN 11-2102/TN
首页
期刊简介
编委会
投稿指南
道德声明
期刊协议
期刊订阅
会议活动
下载中心
联系我们
English
期刊介绍
期刊信息
投稿须知
稿件格式要求
审稿流程
下载中心
联系方式
Toggle navigation
首页
期刊简介
期刊介绍
期刊信息
编委会
投稿指南
投稿须知
稿件格式要求
审稿流程
下载中心
道德声明
期刊协议
期刊订阅
会议活动
联系我们
English
基于项重写的形式化排序方法及应用
陈晨,陈卫红,闫振天,祝跃飞
Formalism ordering method based on term rewriting and plication
Chen CHEN,Wei-hong CHEN,Zhen-tian YAN,Yue-fei ZHU
通信学报 . 2011, (
3
): 138 -142 . DOI: 1000-436X(2011)03-0138-05