Decheng Ding

Publication Activity (10 Years)

Years Active: 1992-2013
Publications (10 Years): 0

Top Topics

Top Venues

Theory Comput. Syst.

Publications

Klaus Ambos-Spies, Decheng Ding, Yun Fan, Wolfgang Merkle
Maximal Pairs of Computably Enumerable Sets in the Computably Lipschitz Degrees. Theory Comput. Syst. 52 (1) (2013)
Klaus Weihrauch, Yongcheng Wu, Decheng Ding
Absolutely non-computable predicates and functions in analysis. Math. Struct. Comput. Sci. 19 (1) (2009)
Klaus Ambos-Spies, Decheng Ding, Wei Wang, Liang Yu
and R.E.A. J. Symb. Log. 74 (3) (2009)
Wei Wang, Decheng Ding
On definable filters in computably enumerable degrees. Ann. Pure Appl. Log. 147 (1-2) (2007)
Wei Wang, Decheng Ding
On the definable ideal generated by the plus cupping c.e. degrees. Arch. Math. Log. 46 (3-4) (2007)
Decheng Ding, Klaus Weihrauch, Yongcheng Wu
Absolutely Non-effective Predicates and Functions in Computable Analysis. TAMC (2007)
Yongcheng Wu, Decheng Ding
Computability of measurable sets via effective topologies. Arch. Math. Log. 45 (3) (2006)
Zhenyu Chen, Decheng Ding
Variable Minimal Unsatisfiability. TAMC (2006)
Conghua Zhou, Decheng Ding
Improved SAT Based Bounded Model Checking. TAMC (2006)
Yongcheng Wu, Decheng Ding
Computability of measurable sets via effective metrics. Math. Log. Q. 51 (6) (2005)
Zhenyu Chen, Conghua Zhou, Decheng Ding
Automatic abstraction refinement for Petri nets verification. HLDVT (2005)
Decheng Ding, Liang Yu
-complete c.e. real. J. Symb. Log. 69 (4) (2004)
Liang Yu, Decheng Ding, Rodney G. Downey
The Kolmogorov complexity of random reals. Ann. Pure Appl. Log. 129 (1-3) (2004)
Xishun Zhao, Decheng Ding
Fixed-Parameter Tractability of Disjunction-Free Default Reasoning. J. Comput. Sci. Technol. 18 (1) (2003)
Daoyun Xu, Decheng Ding, Mingyi Zhang
Characterization of an Auto-Compatible Default Theory. J. Comput. Sci. Technol. 18 (3) (2003)
Liang Yu, Decheng Ding
An extension of Harrington's noncupping theorem. Sci. China Ser. F Inf. Sci. 46 (3) (2003)
Daoyun Xu, Decheng Ding
-normal and extended stratified logic program. Sci. China Ser. F Inf. Sci. 45 (4) (2002)
Xishun Zhao, Decheng Ding
Some Algorithms for Extension Computation of Nonmonotonic Rule Systems. Fundam. Informaticae 48 (1) (2001)
Xishun Zhao, Decheng Ding
Complexity Results for 2CNF Default Theories. Fundam. Informaticae 45 (4) (2001)
Xishun Zhao, Decheng Ding, Hans Kleine Büning
Complexity Results for Restricted Credulous Default Reasoning. AI Commun. 13 (4) (2000)
Lu Hong, Decheng Ding, Lei Qian
A Splitting with Infimum in the d-c. e. Degrees. Math. Log. Q. 46 (1) (2000)
Kaile Su, Huowang Chen, Decheng Ding
Two alternative notions of 'possibility' satisfying Halpern's conditions. J. Log. Comput. 10 (2) (2000)
Kaile Su, Decheng Ding, Huowang Chen
A Three-Valued Quantificational Logic of Context. COCOON (1997)
Decheng Ding, Lei Qian
Isolated d.r.e. degrees are dense in r.e. degree structure. Arch. Math. Log. 36 (1) (1996)
Decheng Ding, Klaus Ambos-Spies
Discontinuity of Cappings in the Recursively Enumerable Degrees and Strongly Nonbranching Degrees. Math. Log. Q. 40 (1994)
Decheng Ding
The distribution of the generic recursively enumerable degrees. Arch. Math. Log. 32 (2) (1992)