Search results for: Chuchang Liu
Lecture Notes in Computer Science > Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making > Contributed Papers > 142-156
Lecture Notes in Computer Science > AI 2002: Advances in Artificial Intelligence > Knowledge Representation and Reasoning > 60-70
Lecture Notes in Computer Science > AI 2002: Advances in Artificial Intelligence > Abstracts of Posters > 717-717
Lecture Notes in Computer Science > Information Security and Privacy > Public Key Infrastructure > 206-219
Journal of Applied Logic > 2011 > 9 > 4 > 239-249
Autonomous Agents and Multi-Agent Systems > 2009 > 19 > 1 > 53-75
Mathematics in Computer Science > 2008 > 2 > 1 > 143-163
Theoretical Computer Science > 1999 > 220 > 2 > 377-408
Journal of Symbolic Computation > 1996 > 22 > 5-6 > 699-720