scientific article; zbMATH DE number 177783

MaRDI QIDQ4038660zbMATH OpenFDO

Authors Reinhold Heckmann

Publication date 18 May 1993

zbMATH Keywords

abstract data type of sets

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• Power domain constructions
• scientific article; zbMATH DE number 883894
• Convex powerdomains. I
• Concrete domains
• scientific article; zbMATH DE number 810102

Cited in

(8)

• The mixed powerdomain
• Describing semantic domains with sprouts
• Domain collisions
• Towards the algebraization of set theory. Set-theoretic domains
• scientific article; zbMATH DE number 3990843 (Why is no real title available?)
• scientific article; zbMATH DE number 810102 (Why is no real title available?)
• An upper power domain construction in terms of strongly compact sets
• Power domains and second-order predicates

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