scientific article; zbMATH DE number 92597

MaRDI QIDQ4018062zbMATH OpenFDO

Authors Maura Cerioli, Egidio Astesiano

Publication date 16 January 1993

zbMATH Keywords

closure propertiesequational deductionexistence of free modelsextensional models

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 176127
• scientific article; zbMATH DE number 176490
• Free objects and equational deduction for partial conditional specifications
• Equational specification of partial higher-order algebras
• Publication:3028333

Cited in

(3)

• Equational specification of partial higher-order algebras
• scientific article; zbMATH DE number 176127 (Why is no real title available?)
• Free objects and equational deduction for partial conditional specifications

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 Q4018062)