Liang, Jihua; Keimel, K. Compact continuous \(L\)-domains. (English) Zbl 0941.68080 Comput. Math. Appl. 38, No. 1, 81-89 (1999). MSC: 68Q55 06B99 PDFBibTeX XMLCite \textit{J. Liang} and \textit{K. Keimel}, Comput. Math. Appl. 38, No. 1, 81--89 (1999; Zbl 0941.68080) Full Text: DOI
Filé, Gilberto; Ranzato, Francesco The powerset operator on abstract interpretations. (English) Zbl 0930.68033 Theor. Comput. Sci. 222, No. 1-2, 77-111 (1999). MSC: 68N17 PDFBibTeX XMLCite \textit{G. Filé} and \textit{F. Ranzato}, Theor. Comput. Sci. 222, No. 1--2, 77--111 (1999; Zbl 0930.68033) Full Text: DOI