( en | de | ru )

 

Disambiguation of "Pedicini, Marco"

Author of the publication

copydeleteadd this publication to your clipboard
PELCR: Parallel environment for optimal lambda-calculus reduction.

, and . ACM Trans. Comput. Log., 8 (3): 14 (2007)

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.

Johannes Marcour

Hans-Ernst Marcolin

Monika Marcotty

Carlos Javier Marcos Navas

Massimiliano Marcon

 

Other publications of authors with the same name

Greedy expansions and sets with deleted digits.. Theor. Comput. Sci., 332 (1-3): 313-336 (2005)Elementary Complexity and Geometry of Interaction., and . Fundam. Informaticae, 45 (1-2): 1-31 (2001)Remarks on Elementary Linear Logic.. Linear Logic Tokyo Meeting, volume 3 of Electronic Notes in Theoretical Computer Science, page 208-219. Elsevier, (1996)Can a Light Typing Discipline Be Compatible with an Efficient Implementation of Finite Fields Inversion?, , , , and . FOPARA, volume 8552 of Lecture Notes in Computer Science, page 38-57. Springer, (2013)Quantitative Modelling Approaches., , , and . Encyclopedia of Bioinformatics and Computational Biology (2), Elsevier, (2019)Directed Virtual Reductions., , and . CSL, volume 1258 of Lecture Notes in Computer Science, page 76-88. Springer, (1996)Typing a Core Binary-Field Arithmetic in a Light Logic., , and . FOPARA, volume 7177 of Lecture Notes in Computer Science, page 19-35. Springer, (2011)Explainable Drug Repurposing Approach From Biased Random Walks., , , , and . IEEE ACM Trans. Comput. Biol. Bioinform., 20 (2): 1009-1019 (March 2023)Light combinators for finite fields arithmetic., , , , and . Sci. Comput. Program., (2015)Supporting Function Calls within PELCR., , and . DCM@ICALP, volume 135 of Electronic Notes in Theoretical Computer Science, page 107-117. Elsevier, (2005)