A characterization of Plotkin's order in powerdomains, and some of its properties

DOI10.1016/0304-3975(84)90127-0MaRDI QIDQ1069707zbMATH OpenOpenAlexFDO

Authors D. Frutos Escrig

Publication date 1984

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

Full work available at URL https://doi.org/10.1016/0304-3975(84)90127-0

zbMATH Keywords

treeenumerationdomainEgli-Milner's order

Mathematics Subject Classification ID

Partial orders, general (06A06) Theory of computing (68Q99)

Recommendations

• scientific article; zbMATH DE number 3883639
• On some partial orders on a certain subset of the power set of rings
• A note on the extension of an order on a set to the power set
• Orders in power semigroups
• P-orderings of finite subsets of Dedekind domains
• A note on well quasi-orderings for powersets
• Some characterizations and properties of a new partial order
• Fine analysis of the quasi-orderings on the power set
• Powers of ordered sets
• scientific article; zbMATH DE number 3966150

Cites work

• scientific article; zbMATH DE number 3793435 (Why is no real title available?)
• scientific article; zbMATH DE number 3379785 (Why is no real title available?)
• A Powerdomain Construction
• Data Types as Lattices

Cited in

(1)

• scientific article; zbMATH DE number 3883639 (Why is no real title available?)

This page was built for publication: A characterization of Plotkin's order in powerdomains, and some of its properties

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