scientific article; zbMATH DE number 5864580
From MaRDI portal
Publication:3080424
zbMATH Open1207.18011MaRDI QIDQ3080424FDOQ3080424
Publication date: 10 March 2011
Title of this publication is not available (Why is that?)
Proof theory in general (including proof-theoretic semantics) (03F03) Categorical structures (18D99) Quantales (06F07)
Cited In (4)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3080424)