( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Isolated d.r.e. degrees are dense in r.e. degree structure.

, и . Arch. Math. Log., 36 (1): 1-10 (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Ding Decheng

Ding Ding

Ding Ding

Wei Ding

Huawen Ding

 

Другие публикации лиц с тем же именем

A Splitting with Infimum in the d-c. e. Degrees., , и . Math. Log. Q., 46 (1): 53-76 (2000)Isolated d.r.e. degrees are dense in r.e. degree structure., и . Arch. Math. Log., 36 (1): 1-10 (1996)A comparison of genericity notions for recursively enumerable sets. Uni Heidelberg, (1991)Some Algorithms for Extension Computation of Nonmonotonic Rule Systems., и . Fundam. Informaticae, 48 (1): 93-106 (2001)Absolutely Non-effective Predicates and Functions in Computable Analysis., , и . TAMC, том 4484 из Lecture Notes in Computer Science, стр. 595-604. Springer, (2007)Characterization of an Auto-Compatible Default Theory., , и . J. Comput. Sci. Technol., 18 (3): 393-398 (2003)Automatic abstraction refinement for Petri nets verification., , и . HLDVT, стр. 168-174. IEEE Computer Society, (2005)Improved SAT Based Bounded Model Checking., и . TAMC, том 3959 из Lecture Notes in Computer Science, стр. 611-620. Springer, (2006)Variable Minimal Unsatisfiability., и . TAMC, том 3959 из Lecture Notes in Computer Science, стр. 262-273. Springer, (2006)A Three-Valued Quantificational Logic of Context., , и . COCOON, том 1276 из Lecture Notes in Computer Science, стр. 343-352. Springer, (1997)