An external approach to abstract data types. I: Computability on abstract data type

MaRDI QIDQ3365443zbMATH OpenFDO

Authors Alexandra Soskova

Publication date 23 January 2006

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Abstract data types; algebraic specification (68Q65) Higher-type and set recursion theory (03D65)

Cited in

(7)

• Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information
• scientific article; zbMATH DE number 177847 (Why is no real title available?)
• Computability and implementability issues in abstract data types
• Effective applicative structures
• scientific article; zbMATH DE number 4125019 (Why is no real title available?)
• scientific article; zbMATH DE number 4007703 (Why is no real title available?)
• scientific article; zbMATH DE number 408790 (Why is no real title available?)

This page was built for publication: An external approach to abstract data types. I: Computability on abstract data type

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