( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Efficient Term Size Computation for Granularity Control.

, и . ICLP, стр. 647-661. MIT Press, (1995)

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.

V Saile

V Geoffroy

V. Sivaraman

V Ustinov

V Adams

 

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

Abstraction-Carrying Code: a Model for Mobile Code Safety., , и . New Generation Comput., 26 (2): 171-204 (2008)The Role of Computational Logic as a Hinge Paradigm among Deduction, Problem Solving, Programming, and Parallelism.. AIFIPP, том A-27 из IFIP Transactions, стр. 207-221. North-Holland, (1992)A study of set-sharing analysis via cliques., , и . CoRR, (2005)Towards Energy Consumption Verification via Static Analysis., , , , и . CoRR, (2015)An Improved Continuation Call-Based Implementation of Tabling., , , , и . PADL, том 4902 из Lecture Notes in Computer Science, стр. 197-213. Springer, (2008)Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs., , и . LOPSTR, том 4915 из Lecture Notes in Computer Science, стр. 138-153. Springer, (2007)Efficient local unfolding with ancestor stacks., , и . Theory Pract. Log. Program., 11 (1): 1-32 (2011)Parallel backtracking with answer memoing for independent and-parallelism., , , и . Theory Pract. Log. Program., 11 (4-5): 555-574 (2011)Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library., и . Theory Pract. Log. Program., 1 (3): 251-282 (2001)Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types., , и . CoRR, (2013)