Search results for: Yimu Yin
Selecta Mathematica > 2014 > 20 > 4 > 1111-1157
Annals of Pure and Applied Logic > 2013 > 164 > 1 > 1-29
Annals of Pure and Applied Logic > 2011 > 162 > 5 > 384-408
Annals of Pure and Applied Logic > 2010 > 161 > 12 > 1541-1564
Theoretical Computer Science > 2007 > 370 > 1-3 > 48-59