scientific article; zbMATH DE number 3168728

MaRDI QIDQ3287296zbMATH OpenFDO

Authors José Morgado

Publication date 1960

Full work available at URL https://eudml.org/doc/114835

zbMATH Keywords

lattices, rings, fields

Cited in

(10)

• Closures on CPOs form complete lattices
• Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements
• Préfermeture sur un ensemble ordonné
• Weakening additivity in adjoining closures
• The reduced relative power operation on abstract domains
• Logical optimality of groundness analysis
• Upper semicontinuity of set-valued functions
• Closure functions and general iterates as reflectors
• Quelques propriétés des ensembles de fermetures sur un ensemble ordonne
• Selectors: a theory of formal languages, semimodular lattices, and branching and shelling processes

This page was built for publication:

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