( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Contributions to a Theory of Existential Termination for Definite Logic Programs.

, и . GULP-PRODE, стр. 631-642. (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.

Francesca Venturini

Francesca Vidal

Francesca Ros

Francesca Albertini

Francesca Moglia

 

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

Localizing Widening and Narrowing., и . SAS, том 7935 из Lecture Notes in Computer Science, стр. 25-42. Springer, (2013)Optimal multibinding unification for sharing and linearity analysis., и . Theory Pract. Log. Program., 14 (3): 379-400 (2014)Complete Abstract Interpretations Made Constructive., , и . MFCS, том 1450 из Lecture Notes in Computer Science, стр. 366-377. Springer, (1998)Building Complete Abstract Interpretations in a Linear Logic-based Setting., , и . SAS, том 1503 из Lecture Notes in Computer Science, стр. 215-229. Springer, (1998)On the interaction between sharing and linearity., и . Theory Pract. Log. Program., 10 (1): 49-112 (2010)Optimality in Goal-Dependent Analysis of Sharing., и . APPIA-GULP-PRODE, стр. 189-205. Facultad de Informática, Universidad Politécnica de Madrid, (2002)The ScalaFix Equation Solver., и . FM, том 14000 из Lecture Notes in Computer Science, стр. 142-159. Springer, (2023)A Tool Which Mines Partial Execution Traces to Improve Static Analysis., , и . RV, том 6418 из Lecture Notes in Computer Science, стр. 475-479. Springer, (2010)Contributions to a Theory of Existential Termination for Definite Logic Programs., и . GULP-PRODE, стр. 631-642. (1995)Intuitionistic Implication in Abstract Interpretation., и . PLILP, том 1292 из Lecture Notes in Computer Science, стр. 175-189. Springer, (1997)