scientific article; zbMATH DE number 1499082
From MaRDI portal
Publication:4501135
zbMath0964.03533MaRDI QIDQ4501135
Andrea Asperti, Giovanna M. Dore
Publication date: 3 September 2000
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)
Related Items (1)
This page was built for publication:
