scientific article
From MaRDI portal
Publication:3408152
zbMath1273.03163MaRDI QIDQ3408152
Paola Bruscoli, Alessio Guglielmi
Publication date: 24 February 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
This page was built for publication:
