scientific article; zbMATH DE number 1497732
From MaRDI portal
Publication:4499141
zbMath0958.68063MaRDI QIDQ4499141
No author found.
Publication date: 6 March 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Sheaf toposes for realizability ⋮ HasCasl: integrated higher-order specification and program development
This page was built for publication:
