Closures on CPOs form complete lattices
type: Item
instance of: scholarly article
title: Closures on CPOs form complete lattices
zbMATH Open document ID: 1004.06007
author: Francesco Ranzato
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
Mathematics Subject Classification ID: 06A15
Mathematics Subject Classification ID: 06B35
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 06B23
zbMATH DE Number: 1853061
zbMATH Keywords: closure operators
zbMATH Keywords: complete partial order
MaRDI profile type: Publication
OpenAlex ID: W2058938808
cites work: Q4843177
cites work: On locales of localizations
cites work: Q3968981
cites work: Q4692885
cites work: Properly injective spaces and function spaces
cites work: Constraint logic programming with dynamic scheduling: A semantics based on closure operators
cites work: Closure functions and general iterates as reflectors
cites work: Weak relative pseudo-complements of closure operators
cites work: Optimal domains for disjunctive abstract interpretation
cites work: Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements
cites work: Q3898534
cites work: The lattice of closure relations on a poset
cites work: Q3287296
cites work: Q3664406
cites work: A Powerdomain Construction
cites work: Q4175259
cites work: The closure operators of a lattice
DOI: 10.1006/INCO.1999.2801
description: scientific article; zbMATH DE number 1853061