Decheng Ding

	2009
22		Klaus Ambos-Spies, Decheng Ding, Wei Wang, Liang Yu: Bounding non-GL2 and R.E.A. J. Symb. Log. 74(3): 989-1000 (2009)
21		Klaus Weihrauch, Yongcheng Wu, Decheng Ding: Absolutely non-computable predicates and functions in analysis. Mathematical Structures in Computer Science 19(1): 59-71 (2009)
	2007
20		Decheng Ding, Klaus Weihrauch, Yongcheng Wu: Absolutely Non-effective Predicates and Functions in Computable Analysis. TAMC 2007: 595-604
19		Wei Wang, Decheng Ding: On definable filters in computably enumerable degrees. Ann. Pure Appl. Logic 147(1-2): 71-83 (2007)
18		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
17		Zhenyu Chen, Decheng Ding: Variable Minimal Unsatisfiability. TAMC 2006: 262-273
16		Conghua Zhou, Decheng Ding: Improved SAT Based Bounded Model Checking. TAMC 2006: 611-620
15		Yongcheng Wu, Decheng Ding: Computability of measurable sets via effective topologies. Arch. Math. Log. 45(3): 365-379 (2006)
	2005
14		Yongcheng Wu, Decheng Ding: Computability of measurable sets via effective metrics. Math. Log. Q. 51(6): 543-559 (2005)
	2004
13		Liang Yu, Decheng Ding, Rodney G. Downey: The Kolmogorov complexity of random reals. Ann. Pure Appl. Logic 129(1-3): 163-180 (2004)
12		Decheng Ding, Liang Yu: There is no SW-complete c.e. real. J. Symb. Log. 69(4): 1163-1170 (2004)
	2003
11		Xishun Zhao, Decheng Ding: Fixed-Parameter Tractability of Disjunction-Free Default Reasoning. J. Comput. Sci. Technol. 18(1): 118-124 (2003)
10		Daoyun Xu, Decheng Ding, Zhang Mingyi: Characterization of an Auto-Compatible Default Theory. J. Comput. Sci. Technol. 18(3): 393-398 (2003)
9		Liang Yu, Decheng Ding: An extension of Harrington's noncupping theorem. Science in China Series F: Information Sciences 46(3): 199-209 (2003)
	2001
8		Xishun Zhao, Decheng Ding: Complexity Results for 2CNF Default Theories. Fundam. Inform. 45(4): 393-404 (2001)
7		Xishun Zhao, Decheng Ding: Some Algorithms for Extension Computation of Nonmonotonic Rule Systems. Fundam. Inform. 48(1): 93-106 (2001)
	2000
6		Xishun Zhao, Decheng Ding, Hans Kleine Büning: Complexity Results for Restricted Credulous Default Reasoning. AI Commun. 13(4): 249-258 (2000)
5		Kaile Su, Huowang Chen, Decheng Ding: Two alternative notions of 'possibility' satisfying Halpern's conditions. J. Log. Comput. 10(2): 253-269 (2000)
4		Lu Hong, Decheng Ding, Lei Qian: A Splitting with Infimum in the d-c. e. Degrees. Math. Log. Q. 46(1): 53-76 (2000)
	1997
3		Kaile Su, Decheng Ding, Huowang Chen: A Three-Valued Quantificational Logic of Context. COCOON 1997: 343-352
	1996
2		Decheng Ding, Lei Qian: Isolated d.r.e. degrees are dense in r.e. degree structure. Arch. Math. Log. 36(1): 1-10 (1996)
	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] [22]
2	Hans Kleine Büning	[6]
3	Huowang Chen	[3] [5]
4	Zhenyu Chen	[17]
5	Rodney G. Downey (Rod Downey)	[13]
6	Lu Hong	[4]
7	Zhang Mingyi	[10]
8	Lei Qian	[2] [4]
9	Kaile Su	[3] [5]
10	Wei Wang	[18] [19] [22]
11	Klaus Weihrauch	[20] [21]
12	Yongcheng Wu	[14] [15] [20] [21]
13	Daoyun Xu	[10]
14	Liang Yu	[9] [12] [13] [22]
15	Xishun Zhao	[6] [7] [8] [11]
16	Conghua Zhou	[16]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page