A direct characterization of completion

DOI10.1016/0304-3975(95)00088-7zbMATH Open0872.68105OpenAlexW1985630949MaRDI QIDQ672756FDOQ672756

Authors: Juan-Miguel Gracia 

Publication date: 28 February 1997

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

Full work available at URL: https://doi.org/10.1016/0304-3975(95)00088-7

Recommendations

• A uniform approach to completions of posets
• Closure spaces and completions of posets
• Dcpo-completion of posets
• On completions of posets with operators
• Directed completions of local dcpos

zbMATH Keywords

completed posetcpofully abstract semantic models

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Recent Contributions to the Ergodic Theory

Cited In (5)

• Detecting completeness from Ext-vanishing
• A uniform approach to completions of posets
• On constructing completions
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: A direct characterization of completion

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