scientific article; zbMATH DE number 7545243
From MaRDI portal
Publication:5083761
DOI10.4204/EPTCS.353zbMath1489.03002MaRDI QIDQ5083761
No author found.
Publication date: 20 June 2022
Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: http://eptcs.web.cse.unsw.edu.au/content.cgi?TLLALINEARITY2020
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings of conferences of miscellaneous specific interest (00B25) Logic in computer science (03B70) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
This page was built for publication:
