scientific article; zbMATH DE number 554486

zbMATH Open0799.06011MaRDI QIDQ4288288FDOQ4288288

Authors: Reinhold Heckmann 

Publication date: 17 November 1994

Title of this publication is not available (Why is that?)

Recommendations

• Power domain constructions
• scientific article; zbMATH DE number 4005585
• Observationally-induced lower and upper powerspace constructions
• Observationally-induced algebras in domain theory

zbMATH Keywords

semiringcontinuous ground domainscore formationfinal powers domainslower moduleslower power constructionsobservable modulesupper modulesupper power constructions

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Semantics in the theory of computing (68Q55) Ordered sets (06A99)

Cited In (3)

• Observationally-induced lower and upper powerspace constructions
• Powers and iteration processes on modules
• Stable power domains

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