MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Lattices of closure operators." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 19 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Closure Operators And Polarities  
  • by G. Castellini, J. Koslowski, G. E. Strecker — 1991 — In Papers on General Topology and Applications
  • …-category X . In effect, the "lattice" of closure operators on M is shown to be equivalent to the fixed point…
  • Cited by 5 (5 self) – Add To MetaCart
  • Some lattices of closure systems on a finite set  
  • by Nathalie Caspard, Bernard Monjardet — Discrete Mathematics and Theoretical Computer Sciences, 6:163–190, 2004. Karell Bertet and Mirabelle Nebut
  • …-exchange closure operator, closure system, convex geometry, (locally distributive) lattice, quasiclosed set. 1…
  • Cited by 1 (0 self) – Add To MetaCart
  • Complementation in abstract interpretation  
  • by Agostino Cortesi, Roberto Giacobazzi, Catuscia Palamidessiy, Francesco Ranzatoz — 1997 — ACM Trans. Program. Lang. Syst
  • … of greatest lower bound on the complete lattice uco(C) of upper closure operators on C ([9]). Thus…
  • Cited by 31 (17 self) – Add To MetaCart
  • Complementation of abstract domains made easy  
  • by Gilberto Filé, Francesco Ranzato — 1996 — Logic Programming: Proceedings of the Joint International Conference and Symposium on Logic Programming, MIT Press Series in Logic Programming
  • … lattice then each closure operator ρ is uniquely determined by the set of its fixpoints, which is its…
  • Cited by 15 (6 self) – Add To MetaCart
  • A Course in Universal Algebra  
  • by H. P. Sankappanavar, Stanley Burris, Kurosh Phillip Burris, Also Thank A. Adamson — 1981
  • … connection between complete lattices and closure operators. In particular, everything necessary…
  • Cited by 174 (1 self) – Add To MetaCart
  • Research Overview and Plans  
  • by Catuscia Palamidessi March, Catuscia Palamidessi
  • … certain concrete domain) corresponds to the lattice of closure operators, and the operation of reduced…
  • Add To MetaCart
  • A proof system for Abstract Non-Interference  
  • by Roberto Giacobazzi, Isabella Mastroeni — 2008
  • … the concrete and abstract domains, C and A, are complete lattices [9]. An upper (lower) closure operator ρ : P…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB