( en | de | ru )

 

Disambiguation of "Cheng, Jingde"

Author of the publication

copydeleteadd this publication to your clipboard
Program dependence analysis of concurrent logic programs and its applications.

, , and . ICPADS, page 282-291. IEEE Computer Society, (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. You can also use the button next to the name to display some publications already assigned to the person.

Cheng-Yung Cheng

Xuerong Cheng

Yao Cheng

Qing-Qi Cheng

I-Fen Cheng

 

Other publications of authors with the same name

A toolkit for developing programs of card game played on the internet., and . IWEC, volume 240 of IFIP Conference Proceedings, page 57-64. Kluwer, (2002)Nondeterministic Parallel Control-Flow / Definition-Use Nets and their Applications.. PARCO, page 589-592. Elsevier, (1993)Logical tool of knowledge engineering: using entailment logic rather than mathematical logic.. ACM Conference on Computer Science, page 228-238. ACM, (1991)Evaluation about the Descriptive Power of QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems., , , and . SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, page 198-203. IEEE, (2018)An Extension of QSL for E-voting Systems., , and . CSA/CUTE, volume 421 of Lecture Notes in Electrical Engineering, page 87-96. Springer, (2016)Logic basis for anticipatory reasoning-reacting systems with three-dimensional moving objects., , , , , , and . ICMLC, page 2641-2646. IEEE, (2010)Representing and Reasoning About Spatial Knowledge Based on Spatial Relevant Logic., and . ER (Workshops), volume 3289 of Lecture Notes in Computer Science, page 114-126. Springer, (2004)Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions)., and . Math. Struct. Comput. Sci., 18 (1): 145-164 (2008)A Meta-Database System Approach for Business Data Sharing among Multiple Target Databases., , and . SKG, page 175-181. IEEE, (2019)QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems., , and . IEICE Trans. Inf. Syst., 102-D (11): 2159-2175 (2019)