Chuck C. Liang
According to our database1,
Chuck C. Liang
authored at least 16 papers
between 1997 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
0
1
2
3
1
1
1
1
1
1
1
1
1
2
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
Math. Struct. Comput. Sci., 2019
2016
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016
2015
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015
2013
Kripke semantics and proof systems for combining intuitionistic logic and classical logic.
Ann. Pure Appl. Log., 2013
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013
2011
2009
Theor. Comput. Sci., 2009
Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009
2007
Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007
Proceedings of the Computer Science Logic, 21st International Workshop, 2007
2004
Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts.
J. Autom. Reason., 2004
2002
Proceedings of the Rewriting Techniques and Applications, 13th International Conference, 2002
Proceedings of the Practical Aspects of Declarative Languages, 4th International Symposium, 2002
2000
Proceedings of the Computational Logic, 2000
1998
Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998
1997
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997