( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A CLP Method for Compositional and Intermittent Predicate Abstraction.

, , и . VMCAI, том 3855 из Lecture Notes in Computer Science, стр. 17-32. Springer, (2006)

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.

Sadik Jaffar Saad

 

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

The CLP(R) Language and System., , , и . ACM Trans. Program. Lang. Syst., 14 (3): 339-395 (1992)A CLP Approach to Modelling Systems.. ICFEM, том 3308 из Lecture Notes in Computer Science, стр. 14. Springer, (2004)Lazy Symbolic Execution for Enhanced Learning., , и . RV, том 8734 из Lecture Notes in Computer Science, стр. 323-339. Springer, (2014)A Framework to Synergize Partial Order Reduction with State Interpolation., и . Haifa Verification Conference, том 8855 из Lecture Notes in Computer Science, стр. 171-187. Springer, (2014)Open Constraint Programming., и . CP, том 1520 из Lecture Notes in Computer Science, стр. 1. Springer, (1998)The CLP(R) language and system: an overview., , , и . Compcon, стр. 376-381. IEEE Computer Society, (1991)Beyond Finite Domains., , , и . PPCP, том 874 из Lecture Notes in Computer Science, стр. 86-94. Springer, (1994)Functional Elimination and 0/1/All Constraints., , и . AAAI/IAAI, стр. 175-180. AAAI Press / The MIT Press, (1999)An Abstract Machine for CLP(R)., , , и . PLDI, стр. 128-139. ACM, (1992)A Methodology for Managing Hard Constraints in CLP Systems., , и . PLDI, стр. 306-316. ACM, (1991)