scientific article; zbMATH DE number 18648

MaRDI QIDQ3976053zbMATHFDO

Authors Ramesh Subrahmanyam

Publication date 26 June 1992

zbMATH Keywords

algebraic specifications

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• A completeness theorem for the expressive power of higher-order algebraic specifications
• scientific article; zbMATH DE number 3913659
• Equational specifications, complete term rewriting systems, and computable and semicomputable algebras
• A recursive second order initial algebra specification of primitive recursion
• scientific article; zbMATH DE number 4078768

Cited in

(5)

• On the complexity of equivalence of specifications of infinite objects
• scientific article; zbMATH DE number 2086404 (Why is no real title available?)
• scientific article; zbMATH DE number 4078768 (Why is no real title available?)
• Complexity of the normalization of algebras
• On the complexity of specification morphisms

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