Login / Signup
Jian-Hua Gao
Publication Activity (10 Years)
Years Active: 2013-2022
Publications (10 Years): 1
Top Topics
Computational Properties
Automated Deduction
Theory Revision
Information Presentation
Top Venues
Symmetry
J. Comput. Sci. Technol.
</>
Publications
</>
Shi-Zheng Yang
,
Jian-Hua Gao
,
Zuo-Tang Liang
Constraining Non-Dissipative Transport Coefficients in Global Equilibrium.
Symmetry
14 (5) (2022)
Jian-Hua Gao
Clausal Presentation of Theories in Deduction Modulo.
J. Comput. Sci. Technol.
28 (6) (2013)