scientific article; zbMATH DE number 1324432

From MaRDI portal

Revision as of 16:42, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4255503

Jump to:navigation, search

zbMath0920.03017MaRDI QIDQ4255503

James Harland, David J. Pym

Publication date: 16 August 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Logic programming (68N17) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (3)

Proof strategies in linear logic ⋮ On proof normalization in linear logic ⋮ Semantic data modelling using linear logic

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4255503&oldid=18151825"