Institutional Repository
| the term orderings which are compatible with composition ii | |
| Jinwang Liu; Zhuojun Liu; Wang Mingsheng; Wang, MS (通讯作者), Chinese Acad Sci, Inst Software, State Lab Informat Secur, Beijing 100080, Peoples R China | |
| 2003 | |
| Source | Journal of Symbolic Computation
 |
| Volume | 35Issue:2Pages:153-168 |
| Indexed Type | sciencedirect |
| Department | 信息安全国家重点实验室 |
| WOS ID | WOS:000181347200005 |
| Citation statistics | |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/4726 |
| Collection | 信息安全国家重点实验室 |
| Corresponding Author | Wang, MS (通讯作者), Chinese Acad Sci, Inst Software, State Lab Informat Secur, Beijing 100080, Peoples R China |
| Recommended Citation GB/T 7714 | Jinwang Liu,Zhuojun Liu,Wang Mingsheng,et al. the term orderings which are compatible with composition ii[J]. Journal of Symbolic Computation,2003,35(2):153-168. |
| APA | Jinwang Liu,Zhuojun Liu,Wang Mingsheng,&Wang, MS .(2003).the term orderings which are compatible with composition ii.Journal of Symbolic Computation,35(2),153-168. |
| MLA | Jinwang Liu,et al."the term orderings which are compatible with composition ii".Journal of Symbolic Computation 35.2(2003):153-168. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 3.pdf（162KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment