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

zbMATH Open1079.68576MaRDI QIDQ3365443FDOQ3365443

Authors: Alexandra Soskova 

Publication date: 23 January 2006

Recommendations

• scientific article; zbMATH DE number 4210132
• scientific article; zbMATH DE number 408790
• scientific article; zbMATH DE number 4007703
• Publication:3483273
• scientific article; zbMATH DE number 177847

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)

• Title not available (Why is that?)
• Computability and implementability issues in abstract data types
• Effective applicative structures
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information

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)