scientific article
From MaRDI portal
Publication:3787984
zbMath0645.03024MaRDI QIDQ3787984
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) Theory of operating systems (68N25)
Related Items
Linear axiomatics of commutative product-free Lambek calculus ⋮ The finite model property for BCI and related systems
