Jin-Zhao Wu

Publication Activity (10 Years)

Years Active: 1994-2012
Publications (10 Years): 0

Top Topics

Sparse Approximation

Closed Form Solutions

Top Venues

Publications

Zhiwei Zhang, Jin-Zhao Wu, Hao Yang
Approximation to Linear Algebraic Transition System. ICIC (3) (2012)
Guang-Ping Qin, Jin-Zhao Wu
Action Refinement for Real-Time Concurrent Processes with Urgency. J. Comput. Sci. Technol. 20 (4) (2005)
Mi Lu, Jin-Zhao Wu
On theorem proving in annotated logics. J. Appl. Non Class. Logics 10 (2) (2000)
Jin-Zhao Wu, Hong-Yan Tan, Yongli Li
An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics. J. Appl. Non Class. Logics 8 (4) (1998)
Jin-Zhao Wu, Hong-Yan Tan
An Algebraic Method to Decide the Deduction Problem in Many-Valued Propositional Calculus. ISMVL (1994)