From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Invited Talk: Some Issues and Trends in the Semantics of Logic Programming.

J. Jaffar, J. Lassez, и M. Maher. ICLP, том 225 из Lecture Notes in Computer Science, стр. 223-241. Springer, (1986)

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.

A Generic Algorithm for CLP Analysis.N. Heintze, и J. Jaffar. ICLP, стр. 49-63. MIT Press, (1995)A Finite Presentation Theorem for Approximating Logic Programs.N. Heintze, и J. Jaffar. POPL, стр. 197-209. ACM Press, (1990)Projecting CLP (R) Constraints.J. Jaffar, M. Maher, P. Stuckey, и R. Yap. New Generation Comput., 11 (3): 449-469 (1993)Invited Talk: Some Issues and Trends in the Semantics of Logic Programming.J. Jaffar, J. Lassez, и M. Maher. ICLP, том 225 из Lecture Notes in Computer Science, стр. 223-241. Springer, (1986)Toward Practical Query Evaluation for Constraint Databases.A. Brodsky, J. Jaffar, и M. Maher. Constraints An Int. J., 2 (3/4): 279-304 (1997)Relative Safety.J. Jaffar, A. Santosa, и R. Voicu. VMCAI, том 3855 из Lecture Notes in Computer Science, стр. 282-297. Springer, (2006)Unbounded Symbolic Execution for Program Verification.J. Jaffar, J. Navas, и A. Santosa. RV, том 7186 из Lecture Notes in Computer Science, стр. 396-411. Springer, (2011)Path-Sensitive Backward Slicing.J. Jaffar, V. Murali, J. Navas, и A. Santosa. SAS, том 7460 из Lecture Notes in Computer Science, стр. 231-247. Springer, (2012)Logic Programming Language Scheme.J. Jaffar, J. Lassez, и M. Maher. Logic Programming: Functions, Relations, and Equations, Prentice-Hall, (1986)Reasoning about Array Segments.J. Jaffar, и J. Lassez. ECAI, стр. 62-66. (1982)