An algorithm to recognize sufficient completeness of algebraic specification of an abstract data type

zbMATH Open0559.68028MaRDI QIDQ2265802FDOQ2265802

Authors: G. A. Kucherov 

Publication date: 1984

Published in: Programming and Computer Software (Search for Journal in Brave)

Recommendations

• Computer Science Logic
• scientific article; zbMATH DE number 3913659
• Algebraic specifications of computable and semicomputable data types
• scientific article; zbMATH DE number 3945335
• A proof system for conditional algebraic specifications

zbMATH Keywords

completenessalgebraic specification of abstract data types

Mathematics Subject Classification ID

Data structures (68P05)

Cited In (2)

• Title not available (Why is that?)
• Computer Science Logic

This page was built for publication: An algorithm to recognize sufficient completeness of algebraic specification of an abstract data type

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2265802)