scientific article; zbMATH DE number 1420790
From MaRDI portal
Publication:4944854
zbMath0942.68116MaRDI QIDQ4944854
Publication date: 22 March 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Reasoning About Algebraic Structures with Implicit Carriers in Isabelle/HOL ⋮ Exploring the structure of an algebra text with locales ⋮ Locales: a module system for mathematical theories
Uses Software
