Publication:4842978
From MaRDI portal
zbMath0828.03028MaRDI QIDQ4842978
Publication date: 18 December 1995
03F07: Structure of proofs
Related Items
Unnamed Item, Handsome proof-nets: Perfect matchings and cographs, A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic, Connection methods in linear logic and proof nets construction