scientific article; zbMATH DE number 3655327

MaRDI QIDQ3854600zbMATH OpenFDO

Authors J. A. Bergstra, John V. Tucker

Publication date 1980

zbMATH Keywords

algebraic data typesboundedness propertiesconditional specificationsequational specificationsfinite data typeshidden operators

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Applications of computability and recursion theory (03D80) Data structures (68P05)

Cited in

(7)

• Algebraic specifications of computable and semicomputable data types
• The data type variety of stack algebras
• Computability and universal determinability of negatively representable models
• On algebraic specifications of computable algebras with the discriminator technique
• Small specifications for large finite data structures
• Logical specifications of effectively separable data models
• Computably separable numbering of locally finitely separable algebras

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 Q3854600)