Institute of Computing Technology, Chinese Academy IR
分面浏览：作者 |
| 当前检索式 | ((ALL：model theory)) |
| 限定条件 | ((出处：IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS) AND (资助项目：National Natural Science Foundation of China[61521092])) |
| Cheng, Daning 1 | Li, Shigang 1 | Liu, Weifeng 1 |
| Sun, Ninghui 1 | Tan, Guangming 1 | Xia, Fen 1 |
| Xie, Zhen 1 | Zhang, Hanping 1 | Zhang, Yunquan 1 |
