Small specifications for large finite data structures

DOI10.1080/00207168108803253MaRDI QIDQ3922143zbMATH OpenOpenAlexFDO

Authors J. A. Bergstra, John-Jules Meyer

Publication date 1981

Published in International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL https://dspace.library.uu.nl/handle/1874/21256

zbMATH Keywords

initial algebra specification

Mathematics Subject Classification ID

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

Cites work

• Data type specification, parameterization and the power of specification techniques
• scientific article; zbMATH DE number 3651723 (Why is no real title available?)
• scientific article; zbMATH DE number 3655327 (Why is no real title available?)
• scientific article; zbMATH DE number 3595145 (Why is no real title available?)

This page was built for publication: Small specifications for large finite data structures

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