Jump from Parallel to Sequential Proofs: Multiplicatives

DOI10.1007/11874683_21MaRDI QIDQ3613346zbMATH OpenOpenAlexFDO

Authors Paolo Di Giamberardino, Claudia Faggian

Publication date 12 March 2009

Published in Computer Science Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11874683_21

Mathematics Subject Classification ID

Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Jump from parallel to sequential proofs: exponentials
• scientific article; zbMATH DE number 1528718
• On a multiplicative property of sequences of integers
• Non-interactive Proofs for Integer Multiplication
• On multiplier sequences
• Multiplicative functions at consecutive integers
• Proof nets sequentialisation in multiplicative linear logic
• Multiplicative functions at consecutive integers. II
• scientific article; zbMATH DE number 1210342

Cited in

(6)

• Jumping Boxes
• An approach to innocent strategies as graphs
• scientific article; zbMATH DE number 1231528 (Why is no real title available?)
• Jump from parallel to sequential proofs: exponentials
• The exponential logic of sequentialization
• Proof nets sequentialisation in multiplicative linear logic

This page was built for publication: Jump from Parallel to Sequential Proofs: Multiplicatives

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3613346)