| |
| 2005 | ||
|---|---|---|
| 4 | EE | 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] |