ISCAS OpenIR  > 基础软件与系统重点实验室
a precongruence format for should testing preorder
Xiaowei Huang; Jiao Li; Weiming Lu
2010
发表期刊Journal of Logic and Algebraic Programming
卷号In Press, Accepted Manuscript页码:-
收录类别sciencedirect
部门归属计算机科学国家重点实验室
WOS记录号WOS:000278289300003
引用统计
内容类型期刊论文
URI标识http://ir.iscas.ac.cn/handle/311060/4622
专题基础软件与系统重点实验室
推荐引用方式
GB/T 7714
Xiaowei Huang,Jiao Li,Weiming Lu. a precongruence format for should testing preorder[J]. Journal of Logic and Algebraic Programming,2010,In Press, Accepted Manuscript:-.
APA Xiaowei Huang,Jiao Li,&Weiming Lu.(2010).a precongruence format for should testing preorder.Journal of Logic and Algebraic Programming,In Press, Accepted Manuscript,-.
MLA Xiaowei Huang,et al."a precongruence format for should testing preorder".Journal of Logic and Algebraic Programming In Press, Accepted Manuscript(2010):-.
条目包含的文件
文件名称/大小 文献类型 版本类型 开放类型 使用许可
1.pdf(385KB) 开放获取--请求全文
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[Xiaowei Huang]的文章
[Jiao Li]的文章
[Weiming Lu]的文章
百度学术
百度学术中相似的文章
[Xiaowei Huang]的文章
[Jiao Li]的文章
[Weiming Lu]的文章
必应学术
必应学术中相似的文章
[Xiaowei Huang]的文章
[Jiao Li]的文章
[Weiming Lu]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。