scientific article; zbMATH DE number 1479636
From MaRDI portal
Publication:4490751
zbMath0942.06500MaRDI QIDQ4490751
Publication date: 20 July 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Heyting algebras (lattice-theoretic aspects) (06D20) Quantales (06F07)
This page was built for publication: