Weak relative pseudo-complements of closure operators
暂无分享,去创建一个
Roberto Giacobazzi | Catuscia Palamidessi | Francesco Ranzato | R. Giacobazzi | C. Palamidessi | Francesco Ranzato
[1] K. Hofmann,et al. A Compendium of Continuous Lattices , 1980 .
[2] P. H. Dwinger,et al. On the Closure Operators of a Complete Lattice , 1954 .
[3] S. L. Édel'man. Closure operators on a lattice , 1980 .
[4] José Morgado. On complete congruences of complete lattices , 1962 .
[5] Agostino Cortesi,et al. Complementation in abstract interpretation , 1997, TOPL.
[6] Patrick Cousot,et al. Systematic design of program analysis frameworks , 1979, POPL.
[7] Joseph R. Shoenfield. The axioms of set theory , 1977 .