Decomposition of domains

DOI10.1007/3-540-55511-0_12zbMath1518.68201OpenAlexW2096744626MaRDI QIDQ6116574

Hermann Puhlmann, Achim Jung, Leonid O. Libkin

Publication date: 16 August 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-55511-0_12

Mathematics Subject Classification ID

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

Related Items (3)

Models of approximation in databases ⋮ Quotients of \(L\)-domains ⋮ Directed complete poset congruences

Cites Work

• The system \({\mathcal F}\) of variable types, fifteen years later
• Effectively given domains
• Domain theory in logical form
• Using powerdomains to generalize relational databases
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Decomposition of domains