scientific article; zbMATH DE number 4007703

zbMATH Open0621.68009MaRDI QIDQ3757375FDOQ3757375

Authors: Fernando Orejas 

Publication date: 1986

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

Recommendations

• Computability and implementability issues in abstract data types
• On the implementation of abstract data types by programming language constructs
• scientific article; zbMATH DE number 3898212
• scientific article; zbMATH DE number 88946
• Algebraic implementation of abstract data types: a survey of concepts and new compositionality results
• scientific article; zbMATH DE number 3936490
• Publication:4721634
• scientific article; zbMATH DE number 177847
• An external approach to abstract data types. I: Computability on abstract data type
• scientific article; zbMATH DE number 4074454

zbMATH Keywords

computability theorynumber representationimplementabilityfinite specifiability

Mathematics Subject Classification ID

Data structures (68P05)

Cited In (9)

• Title not available (Why is that?)
• Computability and implementability issues in abstract data types
• Crypt-equivalent algebraic specifications
• Title not available (Why is that?)
• An external approach to abstract data types. I: Computability on abstract data type
• Honest computability and complexity
• Algebraic implementation of abstract data types: a survey of concepts and new compositionality results
• Deterministic and nondeterministic computation, and horn programs, on abstract data types
• 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 Q3757375)