scientific article
From MaRDI portal
Publication:2703718
zbMath0970.68028MaRDI QIDQ2703718
James Harland, Michael Winikoff, David J. Pym
Publication date: 7 May 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic programming (68N17) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
This page was built for publication:
