scientific article; zbMATH DE number 176490

MaRDI QIDQ4035654zbMATH OpenFDO

Authors Jean-Pierre Jouannaud

Publication date 18 May 1993

zbMATH Keywords

Church-Rosser propertyrewriting istermination property

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Publication:3028333
• scientific article; zbMATH DE number 4078770
• On the power of higher-order algebraic specification methods
• Equational specification of partial higher-order algebras
• scientific article; zbMATH DE number 3890711

Cited in

(9)

• HasCasl: integrated higher-order specification and program development
• Compiling dyadic first-order specifications into map algebra
• On the power of higher-order algebraic specification methods
• scientific article; zbMATH DE number 4193098 (Why is no real title available?)
• scientific article; zbMATH DE number 3890711 (Why is no real title available?)
• scientific article; zbMATH DE number 4078770 (Why is no real title available?)
• scientific article; zbMATH DE number 92597 (Why is no real title available?)
• Higher-order equational logic for specification, simulation and testing
• Hybrid implementations of algebraic 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 Q4035654)