The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Decheng Ding: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Kaile Su, Decheng Ding, Huowang Chen
    A Three-Valued Quantificational Logic of Context. [Citation Graph (0, 0)][DBLP]
    COCOON, 1997, pp:343-352 [Conf]
  2. Zhenyu Chen, Decheng Ding
    Variable Minimal Unsatisfiability. [Citation Graph (0, 0)][DBLP]
    TAMC, 2006, pp:262-273 [Conf]
  3. Conghua Zhou, Decheng Ding
    Improved SAT Based Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
    TAMC, 2006, pp:611-620 [Conf]
  4. Xishun Zhao, Decheng Ding, Hans Kleine Büning
    Complexity Results for Restricted Credulous Default Reasoning. [Citation Graph (0, 0)][DBLP]
    AI Commun., 2000, v:13, n:4, pp:249-258 [Journal]
  5. Yongcheng Wu, Decheng Ding
    Computability of measurable sets via effective topologies. [Citation Graph (0, 0)][DBLP]
    Arch. Math. Log., 2006, v:45, n:3, pp:365-379 [Journal]
  6. Liang Yu, Decheng Ding, Rodney G. Downey
    The Kolmogorov complexity of random reals. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2004, v:129, n:1-3, pp:163-180 [Journal]
  7. Xishun Zhao, Decheng Ding
    Complexity Results for 2CNF Default Theories. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2001, v:45, n:4, pp:393-404 [Journal]
  8. Xishun Zhao, Decheng Ding
    Some Algorithms for Extension Computation of Nonmonotonic Rule Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2001, v:48, n:1, pp:93-106 [Journal]
  9. Daoyun Xu, Decheng Ding, Zhang Mingyi
    Characterization of an Auto-Compatible Default Theory. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2003, v:18, n:3, pp:393-398 [Journal]
  10. Xishun Zhao, Decheng Ding
    Fixed-Parameter Tractability of Disjunction-Free Default Reasoning. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2003, v:18, n:1, pp:118-124 [Journal]
  11. Kaile Su, Huowang Chen, Decheng Ding
    Two alternative notions of 'possibility' satisfying Halpern's conditions. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2000, v:10, n:2, pp:253-269 [Journal]
  12. Decheng Ding, Klaus Ambos-Spies
    Discontinuity of Cappings in the Recursively Enumerable Degrees and Strongly Nonbranching Degrees. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:287-317 [Journal]
  13. Lu Hong, Decheng Ding, Qian Lei
    A Splitting with Infimum in the d-c. e. Degrees. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2000, v:46, n:1, pp:53-76 [Journal]
  14. Yongcheng Wu, Decheng Ding
    Computability of measurable sets via effective metrics. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2005, v:51, n:6, pp:543-559 [Journal]
  15. Decheng Ding, Klaus Weihrauch, Yongcheng Wu
    Absolutely Non-effective Predicates and Functions in Computable Analysis. [Citation Graph (0, 0)][DBLP]
    TAMC, 2007, pp:595-604 [Conf]
  16. Wei Wang, Decheng Ding
    On the definable ideal generated by the plus cupping c.e. degrees. [Citation Graph (0, 0)][DBLP]
    Arch. Math. Log., 2007, v:46, n:3-4, pp:321-346 [Journal]
  17. Wei Wang, Decheng Ding
    On definable filters in computably enumerable degrees. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2007, v:147, n:1-2, pp:71-83 [Journal]

  18. Isolated d.r.e. degrees are dense in r.e. degree structure. [Citation Graph (, )][DBLP]


Search in 0.034secs, Finished in 0.035secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002