scientific article; zbMATH DE number 978244

MaRDI QIDQ4332420zbMATH OpenFDO

Authors Grazyna Mirkowska, Andrzej Salwicki

Publication date 3 June 1997

zbMATH Keywords

algebraic specificationTennenbaum's property

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Non-strict don't care algebras and specifications
• Not every pseudoalgebra is equivalent to a strict one
• scientific article; zbMATH DE number 877128
• Properties of quasiary specification algebras
• Varieties of algebras without the amalgamation property
• Varieties of algebras without the amalgamation property
• Theorems on sets not belonging to algebras
• Algebraic specifications are not difficult to write
• Classes of algebras without the amalgamation property
• scientific article; zbMATH DE number 3882425

Cited in

(1)

• CZF does not have the existence property

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