Jin-Zhao Wu

According to our database, Jin-Zhao Wu authored at least 5 papers between 1994 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2012

Approximation to Linear Algebraic Transition System.

Zhiwei Zhang, Jin-Zhao Wu, Hao Yang

Proceedings of the Emerging Intelligent Computing Technology and Applications, 2012

2005

Action Refinement for Real-Time Concurrent Processes with Urgency.

Guang-Ping Qin, Jin-Zhao Wu

J. Comput. Sci. Technol., 2005

2000

On theorem proving in annotated logics.

Mi Lu, Jin-Zhao Wu

J. Appl. Non Class. Logics, 2000

1998

An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics.

Jin-Zhao Wu, Hong-Yan Tan, Yongli Li

J. Appl. Non Class. Logics, 1998

1994

An Algebraic Method to Decide the Deduction Problem in Many-Valued Propositional Calculus.

Jin-Zhao Wu, Hong-Yan Tan

Proceedings of the 24th IEEE International Symposium on Multiple-Valued Logic, 1994