College of Intelligence and Computing
Associate professor
Current position: Heng Zhang's Homepage > Academic Achievements > Selected Papers
Hits:
Journal:ACM Transactions on Computational Logic
All the Authors:Heng Zhang, Yan Zhang
First Author:Heng Zhang
Indexed by:Unit Twenty Basic Research
Volume:18
Issue:2
Page Number:9:1-9:28
Translation or Not:no
