A decomposition theorem for domains

DOI10.1006/INCO.1996.0005zbMATH Open0844.68031OpenAlexW2016601186MaRDI QIDQ1908355FDOQ1908355

Authors: Christian Haack 

Publication date: 27 March 1996

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2066/161699

Recommendations

• Decomposition of domains
• Quasi-prime algebraic domains
• Domains via graphs
• Algebraic specifications for domain theory
• Relation algebraic domain constructions

zbMATH Keywords

cycle-free diagramsdomain constructor

Mathematics Subject Classification ID

Database theory (68P15)

Cited In (3)

• Title not available (Why is that?)
• Decomposition of domains
• A decomposition theorem for polymeasures

This page was built for publication: A decomposition theorem for domains

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