-
1
-
-
84910707803
-
-
AMS Colloquium Publications 3rd edition
-
BIRKHOFF, G., Lattice Theory. AMS Colloquium Publications vol. XXV, 3rd edition, 1967.
-
(1967)
Lattice Theory
, vol.25
-
-
Birkhoff, G.1
-
2
-
-
84955569216
-
Complementation in abstract interpretation
-
A. Mycroft, ed., Springer Verlag
-
CORTESI, A., FILÉ, G., GIACOBAZZI, R., PALAMIDESSI, C. and RANZATO, F., Complementation in abstract interpretation. In A. Mycroft, ed., Proc. of the 2nd Static Analysis Symposium, Lecture Notes in Computer Science 983, pp. 100-117. Springer Verlag, 1995.
-
(1995)
Proc. of the 2nd Static Analysis Symposium, Lecture Notes in Computer Science
, vol.983
, pp. 100-117
-
-
Cortesi, A.1
Filé, G.2
Giacobazzi, R.3
Palamidessi, C.4
Ranzato, F.5
-
4
-
-
0000510658
-
On the closure operators of a complete lattice
-
DWINGER, P., On the closure operators of a complete lattice. Indagationes Math., 16 (1954), 560-563.
-
(1954)
Indagationes Math.
, vol.16
, pp. 560-563
-
-
Dwinger, P.1
-
5
-
-
0004011095
-
-
Springer Verlag
-
GIERZ, G., HOFMANN, K. H., KEIMEL, K., LAWSON, J. D., MISLOVE, M. AND SCOTT, D. S., A Compendium of Continuous Lattices. Springer Verlag, 1980.
-
(1980)
A Compendium of Continuous Lattices
-
-
Gierz, G.1
Hofmann, K.H.2
Keimel, K.3
Lawson, J.D.4
Mislove, M.5
Scott, D.S.6
-
6
-
-
0011259504
-
On complete congruences of complete lattices
-
MORGADO, J., On complete congruences of complete lattices. Portugal. Math., 21 (1) (1962), 11-25.
-
(1962)
Portugal. Math.
, vol.21
, Issue.1
, pp. 11-25
-
-
Morgado, J.1
-
7
-
-
0001486592
-
Note on complemented closure operators of complete lattices
-
MORGADO, J., Note on complemented closure operators of complete lattices. Portugal. Math., 21 (3) (1962), 135-142.
-
(1962)
Portugal. Math.
, vol.21
, Issue.3
, pp. 135-142
-
-
Morgado, J.1
-
8
-
-
0003200371
-
Contribution à l'étude des treillis pseudo-complémentés et des treillis de Stone
-
71 pages
-
VARLET, J., Contribution à l'étude des treillis pseudo-complémentés et des treillis de Stone. Mémoires de la Société Royale des Sciences de Liège, 5eme série, 8(4), 71 pages, 1963.
-
(1963)
Mémoires de la Société Royale des Sciences de Liège, 5eme Série
, vol.8
, Issue.4
-
-
Varlet, J.1
|