scientific article; zbMATH DE number 4210132

MaRDI QIDQ3358727zbMATH OpenFDO

Authors Alexandra Soskova

Publication date 1990

zbMATH Keywords

computation on abstract many-sorted partial structuresdata types

Mathematics Subject Classification ID

Abstract and axiomatic computability and recursion theory (03D75) Abstract data types; algebraic specification (68Q65)

Recommendations

• Effective Structures
• scientific article; zbMATH DE number 1254496
• Structural-Abstraction Principles
• scientific article; zbMATH DE number 218551
• Abstract effective models
• Effective applicative structures
• Structural Counter Abstraction
• Abstract functional dependency structures
• Abstraction strategies in practice
• Term Rewriting and Applications

Cited in

(7)

• An external approach to abstract data types. I: Computability on abstract data type
• scientific article; zbMATH DE number 1254496 (Why is no real title available?)
• Effective Structures
• Structural-Abstraction Principles
• Effective applicative structures
• Structural Counter Abstraction
• scientific article; zbMATH DE number 3345162 (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 Q3358727)