( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Sharing Analysis for Logic Programs using Set Logic Programs.

, , и . APPIA-GULP-PRODE, стр. 29-40. (1996)

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.

Vitaly Raev

Vitaly Alexandrov

Vitaly Teterin

Vitaly Kozyura

Vitaly Belik

 

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

Logic Programming with Satisfiability, , и . CoRR, (2007)Telecommunications Feature Subscription as a Partial Order Constraint Problem., , и . ICLP, том 5366 из Lecture Notes in Computer Science, стр. 749-753. Springer, (2008)The DNA Word Design Problem: A New Constraint Model and New Results., , и . IJCAI, стр. 585-591. ijcai.org, (2017)Sharing Analysis Using Set Logic Programs., , и . ICLP, стр. 417. MIT Press, (1997)Solving Partial Order Constraints for LPO Termination., , и . RTA, том 4098 из Lecture Notes in Computer Science, стр. 4-18. Springer, (2006)Size-Change Termination Analysis in k-Bits., , , и . ESOP, том 3924 из Lecture Notes in Computer Science, стр. 230-245. Springer, (2006)Solving Partial Order Constraints for LPO Termination., , и . J. Satisf. Boolean Model. Comput., 5 (1-4): 193-215 (2008)Logic programming with satisfiability., , и . Theory Pract. Log. Program., 8 (1): 121-128 (2008)Testing for Termination with Monotonicity Constraints., , и . ICLP, том 3668 из Lecture Notes in Computer Science, стр. 326-340. Springer, (2005)Solving Partial Order Constraints for LPO Termination, , и . CoRR, (2005)