scientific article; zbMATH DE number 7308467
From MaRDI portal
Publication:5150149
zbMath1454.68062MaRDI QIDQ5150149
Publication date: 9 February 2021
Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?LINEARITY2009.2
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Grammars and rewriting systems (68Q42) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
This page was built for publication: