scientific article
From MaRDI portal
Publication:2844807
zbMath1270.03053MaRDI QIDQ2844807
Joseph C. Vanderwaart, Karl Crary
Publication date: 19 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104805036
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms (68W40) Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items
