scientific article; zbMATH DE number 1748578
From MaRDI portal
Publication:4530463
zbMath0997.03044MaRDI QIDQ4530463
Publication date: 13 November 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
theorem provinglinear logicswitch graphscompletely unnested matricesConnection Methodcorrectness of proof structuresDanos-Regnier Criterion
Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
This page was built for publication:
