|
|||||
|
|
Partial completion of equational theories |
|
| Authors: | Yongqiang Sun Kai Lin Chaojun Lu |
| Affiliation: | (1) Department of Computer Science and Engineering, Shanghai Jiao Tong University, 200030 Shanghai, P.R. China |
| Abstract: | |
| Keywords: | term rewriting system completion of equational theorys partial completion |
| 本文献已被 CNKI 维普 万方数据 SpringerLink 等数据库收录！ | |
| 点击此处可从《计算机科学技术学报》浏览原始摘要信息 | |
| 点击此处可从《计算机科学技术学报》下载全文 | |