Decheng Ding

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

Coauthor Index

1	Klaus Ambos-Spies	[1]
2	Hans Kleine Büning	[5]
3	Huowang Chen	[2] [4]
4	Zhenyu Chen	[14]
5	Rodney G. Downey (Rod Downey)	[10]
6	Lu Hong	[3]
7	Qian Lei	[3]
8	Zhang Mingyi	[8]
9	Kaile Su	[2] [4]
10	Wei Wang	[15] [16]
11	Klaus Weihrauch	[17]
12	Yongcheng Wu	[11] [12] [17]
13	Daoyun Xu	[8]
14	Liang Yu	[10]
15	Xishun Zhao	[5] [6] [7] [9]
16	Conghua Zhou	[13]

Colors in the list of coauthors