scientific article; zbMATH DE number 18648

zbMATH Open0788.68099MaRDI QIDQ3976053FDOQ3976053

Authors: Ramesh Subrahmanyam 

Publication date: 26 June 1992

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

algebraic specifications

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cited In (4)

• On the complexity of specification morphisms
• Title not available (Why is that?)
• Complexity of the normalization of algebras
• Title not available (Why is that?)

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)