Chuck Liang
发表
Dale Miller,
Chuck Liang,
2011,
Ann. Pure Appl. Log..
Gopalan Nadathur,
Chuck Liang,
2002,
RTA.
Chuck Liang,
Dale Miller,
2013,
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Dale Miller,
Chuck Liang,
2007,
CSL.
Chuck Liang,
Chuck Liang,
2000,
Computational Logic.
Dale Miller,
Chuck Liang,
2009,
2009 24th Annual IEEE Symposium on Logic In Computer Science.
Chuck Liang,
Chuck C. Liang,
1998,
TPHOLs.
Chuck Liang,
Chuck Liang,
2002,
PADL.
Chuck Liang,
2004
.
Chuck Liang,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Chuck Liang,
2000
.
Chuck Liang,
Chuck Liang,
1997,
TAPSOFT.
Gopalan Nadathur,
Chuck Liang,
Xiaochu Qi,
2004,
Journal of Automated Reasoning.
Chuck Liang,
2019,
Math. Struct. Comput. Sci..
Chuck Liang,
Dale Miller,
Chuck Liang,
2009,
Theor. Comput. Sci..
Dale Miller,
Chuck Liang,
Dale Miller,
2013,
Ann. Pure Appl. Log..
Dale Miller,
Chuck Liang,
2015,
LPAR.
Chuck Liang,
Chuck Liang,
Chuck C. Liang,
1995
.