Showing results 1 to 2 of 2
PATH FOR AND-PARALLEL EXECUTION OF LOGIC PROGRAMS LEE, SH; KIM, DH; Choe, Kwang-Moo, INFORMATION PROCESSING LETTERS, v.52, no.4, pp.191 - 199, 1994-11 |
YET ANOTHER EFFICIENT BACKWARD EXECUTION ALGORITHM IN THE AND OR PROCESS MODEL KIM, DH; Choe, Kwang-Moo, INFORMATION PROCESSING LETTERS, v.40, no.4, pp.201 - 211, 1991-11 |
Discover