The mixed powerdomain

DOI10.1016/0304-3975(92)90017-AMaRDI QIDQ1199543zbMATH OpenFDO

Authors Carl A. Gunter

Publication date 16 January 1993

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(92)90017-A

zbMATH Keywords

mix algebrasmixed powerdomain

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• On the mixed powerdomain
• scientific article; zbMATH DE number 6712178
• Convex powerdomains. I
• scientific article; zbMATH DE number 4070972
• Convex powerdomains. II

Cites work

• A Powerdomain Construction
• A semantics for complex objects and approximate answers
• Coherence and consistency in domains
• Domain theory in logical form
• scientific article; zbMATH DE number 3846844 (Why is no real title available?)
• scientific article; zbMATH DE number 4045109 (Why is no real title available?)
• scientific article; zbMATH DE number 4049009 (Why is no real title available?)
• scientific article; zbMATH DE number 3716749 (Why is no real title available?)
• scientific article; zbMATH DE number 3726420 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• scientific article; zbMATH DE number 177783 (Why is no real title available?)
• scientific article; zbMATH DE number 1142322 (Why is no real title available?)
• On powerdomains and modality
• Power domains
• Power domains and second-order predicates
• The Category-Theoretic Solution of Recursive Domain Equations
• Universal profinite domains
• Using powerdomains to generalize relational databases

Cited in

(8)

• Models of approximation in databases
• Deduction with uncertain conditionals
• An algebraic theory for data linkage
• Semantics of a sequential language for exact real-number computation
• scientific article; zbMATH DE number 3852948 (Why is no real title available?)
• On the mixed powerdomain
• scientific article; zbMATH DE number 4070972 (Why is no real title available?)
• Power domains and second-order predicates

This page was built for publication: The mixed powerdomain

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