scientific article
From MaRDI portal
Publication:2757832
zbMath0978.03507MaRDI QIDQ2757832
Publication date: 4 December 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items
Proof strategies in linear logic, On proof normalization in linear logic, Connection methods in linear logic and proof nets construction
