- CSB - MetaPress - Google - Bing - Yahoo
 | 2005 | |
|---|---|---|
| 4 |      | Guang-Ping Qin, Jin-Zhao Wu: Action Refinement for Real-Time Concurrent Processes with Urgency. J. Comput. Sci. Technol. 20(4): 514-525 (2005) |
| 2000 | ||
| 3 |  | Mi Lu, Jin-Zhao Wu: On theorem proving in annotated logics. Journal of Applied Non-Classical Logics 10(2): (2000) |
| 1998 | ||
| 2 | | Jin-Zhao Wu, Hong-Yan Tan, Yongli Li: An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics. Journal of Applied Non-Classical Logics 8(4): (1998) |
| 1994 | ||
| 1 | | Jin-Zhao Wu, Hong-Yan Tan: An Algebraic Method to Decide the Deduction Problem in Many-Valued Propositional Calculus. ISMVL 1994: 270-273 |
| 1 | Yongli Li | [2] |
| 2 | Mi Lu | [3] |
| 3 | Guang-Ping Qin | [4] |
| 4 | Hong-Yan Tan | [1] [2] |