( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Toward Practical Query Evaluation for Constraint Databases.

, , и . Constraints An Int. J., 2 (3/4): 279-304 (1997)

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

 

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

Invited Talk: Some Issues and Trends in the Semantics of Logic Programming., , и . ICLP, том 225 из Lecture Notes in Computer Science, стр. 223-241. Springer, (1986)Path-Sensitive Backward Slicing., , , и . SAS, том 7460 из Lecture Notes in Computer Science, стр. 231-247. Springer, (2012)Relative Safety., , и . VMCAI, том 3855 из Lecture Notes in Computer Science, стр. 282-297. Springer, (2006)Unbounded Symbolic Execution for Program Verification., , и . RV, том 7186 из Lecture Notes in Computer Science, стр. 396-411. Springer, (2011)Reasoning about Array Segments., и . ECAI, стр. 62-66. (1982)Logic Programming Language Scheme., , и . Logic Programming: Functions, Relations, and Equations, Prentice-Hall, (1986)A Fast Algorithm for Scheduling Instructions with Deadline Constraints on RISC Processors., , и . IEEE PACT, стр. 281-290. IEEE Computer Society, (2000)Projecting CLP (R) Constraints., , , и . New Generation Comput., 11 (3): 449-469 (1993)A Finite Presentation Theorem for Approximating Logic Programs., и . POPL, стр. 197-209. ACM Press, (1990)Boosting concolic testing via interpolation., , и . ESEC/SIGSOFT FSE, стр. 48-58. ACM, (2013)