( en | de | ru )

 

Disambiguation of "Pedreschi, Dino"

Author of the publication

copydeleteadd this publication to your clipboard
A Case Study in Logic Program Verification: the Vanilla Metainterpreter.

, and . GULP-PRODE, page 643-654. (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. You can also use the button next to the name to display some publications already assigned to the person.

Caroline Dinort

Kathrin Dinort

Günter Dinort

Dino Carelli

Dino Azzano

 

Other publications of authors with the same name

Discovering Eras in Evolving Social Networks (Extended Abstract)., , , , and . SEBD, page 78-85. Esculapio Editore, (2010)Measuring Discrimination in Socially-Sensitive Decision Records., , and . SDM, page 581-592. SIAM, (2009)PlayeRank: Multi-dimensional and role-aware rating of soccer player performance., , , , , and . CoRR, (2018)A Survey Of Methods For Explaining Black Box Models., , , , and . CoRR, (2018)Give more data, awareness and control to individual citizens, and they will help COVID-19 containment., , , , , , , , , and 24 other author(s). CoRR, (2020)WebCat: Automatic Categorization of Web Search Results., , , and . SEBD, page 507-518. Rubettino Editore, (2003)Termination is Language-Independent., and . GULP-PRODE (1), page 418-433. (1994)Bounded Nondeterminism of Logic Programs., and . ICLP, page 350-364. MIT Press, (1999)Next Basket Prediction using Recurring Sequential Patterns., , , , and . CoRR, (2017)A Closer Look at Declarative Interpretations., , and . J. Log. Program., 28 (2): 147-180 (1996)