( en | de | ru )

 

Disambiguation of "Guerrini, Stefano"

Author of the publication

copydeleteadd this publication to your clipboard
Proof nets, garbage, and computations.

, , and . Theor. Comput. Sci., 253 (2): 185-237 (2001)

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.

Stefano Meini

Stefano Cracolici

Stefano Carignano

Stefano Cardanobile

Giovanni Stefano

 

Other publications of authors with the same name

Commutative Locative Quantifiers for Multiplicative Linear Logic., and . ICALP (2), volume 4052 of Lecture Notes in Computer Science, page 396-407. Springer, (2006)Quantum Pulse Position Modulation with Photon-Added Coherent States., , , and . GLOBECOM Workshops, page 1-5. IEEE, (2019)Continuations, proofs and tests, and . CoRR, (2006)Proof nets, garbage, and computations., , and . Theor. Comput. Sci., 253 (2): 185-237 (2001)A linear algorithm for MLL proof net correctness and sequentialization.. Theor. Comput. Sci., 412 (20): 1958-1978 (2011)Is the Optimal Implementation Inefficient? Elementarily Not., and . FSCD, volume 84 of LIPIcs, page 17:1-17:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Secure Key Throughput of Intermittent Trusted-Relay QKD Protocols., , and . GLOBECOM Workshops, page 1-5. IEEE, (2018)Quantum Pulse Position Modulation with Photon-Added Squeezed States., , , and . GLOBECOM (Workshops), page 1-5. IEEE, (2020)Sharing Implementations of Graph Rewriting Systems.. TERMGRAPH, volume 127 of Electronic Notes in Theoretical Computer Science, page 113-132. Elsevier, (2004)Jumping Boxes., and . CSL, volume 5771 of Lecture Notes in Computer Science, page 55-70. Springer, (2009)