scientific article
From MaRDI portal
Publication:3077284
zbMath1224.03044MaRDI QIDQ3077284
Viliam Slodičák, Valerie Novitzká, Daniel Mihályi
Publication date: 22 February 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Categorical logic, topoi (03G30) General topics in the theory of software (68N01) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (1)
This page was built for publication:
