Q4362899
type: Item
instance of: scholarly article
zbMATH Open document ID: 0884.68083
publication date: 1997-11-13T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1086649
zbMATH Keywords: design techniques
zbMATH Keywords: equational specification
MaRDI profile type: Publication
Recommended article: Q3012523
Recommended article: The equational theory of parameterized specifications
Recommended article: Q4202948
Recommended article: Equational reasoning in Isabelle
Recommended article: Specification and proof in membership equational logic
Recommended article: Automating (specification = implementation) using equational reasoning and LOTOS
Recommended article: Foundations of equational logic programming
Recommended article: Equational specifications, complete term rewriting systems, and computable and semicomputable algebras
Recommended article: Higher-order equational logic for specification, simulation and testing
description: scientific article; zbMATH DE number 1086649