| 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 |
