scientific article; zbMATH DE number 4007703

MaRDI QIDQ3757375zbMATH OpenFDO

Authors Fernando Orejas

Publication date 1986

zbMATH Keywords

computability theorynumber representationimplementabilityfinite specifiability

Mathematics Subject Classification ID

Data structures (68P05)

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

Cited in

(9)

• Computability and implementability issues in abstract data types
• Crypt-equivalent algebraic specifications
• scientific article; zbMATH DE number 3911685 (Why is no real title available?)
• scientific article; zbMATH DE number 4172407 (Why is no real title available?)
• An external approach to abstract data types. I: Computability on abstract data type
• Honest computability and complexity
• Deterministic and nondeterministic computation, and horn programs, on abstract data types
• Algebraic implementation of abstract data types: a survey of concepts and new compositionality results
• scientific article; zbMATH DE number 3909717 (Why is no real title available?)

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)