Search results for: Decheng Ding
Lecture Notes in Computer Science > Theory and Applications of Models of Computation > Computational Complexity > 262-273
Lecture Notes in Computer Science > Theory and Applications of Models of Computation > Formal Method > 611-620
Lecture Notes in Computer Science > Theory and Applications of Models of Computation > Contributed Papers > 595-604
Theory of Computing Systems > 2013 > 52 > 1 > 2-27
Chinese Science Bulletin > 2010 > 55 > 18 > 1957-1960
Annals of Pure and Applied Logic > 2007 > 147 > 1-2 > 71-83
Archive for Mathematical Logic > 2007 > 46 > 3-4 > 321-346
Archive for Mathematical Logic > 2006 > 45 > 3 > 365-379
Annals of Pure and Applied Logic > 2004 > 129 > 1-3 > 163-180
Science China Information Sciences > 2003 > 46 > 3 > 199-209
Science China Information Sciences > 2002 > 45 > 4 > 259-272
Acta Mathematica Sinica, English Series > 2000 > 16 > 4 > 555-564
Acta Mathematica Sinica, English Series > 2000 > 16 > 4 > 555-564
Chinese Science Abstracts Series A > 1995 > 14 > 6 > 4-5
Chinese Science Abstracts Series A > 1995 > 14 > 5 Part A > 17
Science in China (Scientia Sinica) Series A > 1995 > 38 > 4 Series A > 419-427
Chinese Science Abstracts Series A > 1995 > 14 > 2 Part A > 3