scientific article
From MaRDI portal
Publication:2753687
zbMath0973.03040MaRDI QIDQ2753687
No author found.
Publication date: 11 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Model theory of finite structures (03C13) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (1)
This page was built for publication:
