Search results for: Gyesik Lee
Lecture Notes in Computer Science > Logic, Language, Information and Computation > Contributed Papers > 209-217
Journal of Automated Reasoning > 2014 > 52 > 2 > 215-239
Journal of Combinatorial Theory, Series A > 2011 > 118 > 2 > 558-585
Annals of Pure and Applied Logic > 2010 > 161 > 11 > 1367-1378
Journal of Combinatorial Theory, Series A > 2008 > 115 > 6 > 1036-1055
Annals of Pure and Applied Logic > 2007 > 147 > 1-2 > 48-70