scientific article; zbMATH DE number 1988958

MaRDI QIDQ4430285zbMATH OpenFDO

Authors Hartmut Ehrig, Jacques Loeckx, Bernd Mahr

Publication date 20 October 2003

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cited in

(1)

• Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4430285)