|
СТ |
Enumerating Proofs of Positive Formulae |
2009 |
Dowek G., Jiang Y. |
|
|
|
The Computer Journal |
16.02.2010 |
|
СТ |
Preemptive online algorithms for scheduling with machine cost |
2005 |
Jiang Y., He Y. |
|
|
|
Acta Informatica |
01.09.2005 |
|
СТ |
Ambivalent Logic as the Semantic Basis of Metalogic Programming: I |
1994 |
Jiang Y. |
|
|
|
Logic Programming: Proc. of the Eleventh Intern. Conf. |
01.02.1996 |
|
СТ |
Nogood Backmarking with Min-conflict Repair in Constraint Satisfaction and Optimization |
1994 |
Jiang Y., Richards T., Richards B. |
|
|
|
Lecture Notes in Computer Science |
22.12.1994 |
|
СТ |
Transition from a Relation to Object Model Implementation |
1993 |
Bhargava B., Jiang Y., Srinivasan J., Dewan P. |
|
|
|
Lecture Notes in Computer Science |
05.02.1994 |
