( en | de | ru )

 

Disambiguation of "Lagoon, Vitaly"

Author of the publication

copydeleteadd this publication to your clipboard
Size-Change Termination Analysis in k-Bits.

, , , and . ESOP, volume 3924 of Lecture Notes in Computer Science, page 230-245. 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. You can also use the button next to the name to display some publications already assigned to the person.

Vitaly Raev

Vitaly Alexandrov

Vitaly Teterin

Vitaly Kozyura

Vitaly Belik

 

Other publications of authors with the same name

Sharing Analysis Using Set Logic Programs., , and . ICLP, page 417. MIT Press, (1997)Telecommunications Feature Subscription as a Partial Order Constraint Problem., , and . ICLP, volume 5366 of Lecture Notes in Computer Science, page 749-753. Springer, (2008)The DNA Word Design Problem: A New Constraint Model and New Results., , and . IJCAI, page 585-591. ijcai.org, (2017)Logic programming with satisfiability., , and . Theory Pract. Log. Program., 8 (1): 121-128 (2008)Solving Partial Order Constraints for LPO Termination., , and . RTA, volume 4098 of Lecture Notes in Computer Science, page 4-18. Springer, (2006)Size-Change Termination Analysis in k-Bits., , , and . ESOP, volume 3924 of Lecture Notes in Computer Science, page 230-245. Springer, (2006)Testing for Termination with Monotonicity Constraints., , and . ICLP, volume 3668 of Lecture Notes in Computer Science, page 326-340. Springer, (2005)Type Dependencies for Logic Programs Using ACI-Unification., and . ISTCS, page 136-145. IEEE Computer Society, (1996)Precise pair-sharing analysis of logic programs., and . PPDP, page 99-108. ACM, (2002)Combining Norms to Prove Termination., , , and . VMCAI, volume 2294 of Lecture Notes in Computer Science, page 126-138. Springer, (2002)