scientific article; zbMATH DE number 786497
From MaRDI portal
Publication:4842978
zbMath0828.03028MaRDI QIDQ4842978
Publication date: 18 December 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Handsome proof-nets: Perfect matchings and cographs ⋮ A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic ⋮ Unnamed Item ⋮ Connection methods in linear logic and proof nets construction
