scientific article; zbMATH DE number 517014

MaRDI QIDQ4282539zbMATH OpenFDO

Authors Yexuan Gui, Mitsuhiro Okada

Publication date 30 October 1994

zbMATH Keywords

abstract data typesalgebraic specificationpolymorphic recursive functionsterm rewriting

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• A Calculus of Higher-Order Parameterization for Algebraic Specifications
• scientific article; zbMATH DE number 4078770
• Publication:3028333
• scientific article; zbMATH DE number 3905828
• Equational specification of partial higher-order algebras

Cited in

(3)

• scientific article; zbMATH DE number 1156717 (Why is no real title available?)
• scientific article; zbMATH DE number 2079668 (Why is no real title available?)
• A Calculus of Higher-Order Parameterization for 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 Q4282539)