scientific article; zbMATH DE number 5221529
From MaRDI portal
Publication:5432904
zbMath1140.03317MaRDI QIDQ5432904
Publication date: 18 December 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Quantales (06F07)
This page was built for publication:
