Ranzato, Francesco On constructivity of Galois connections. (English) Zbl 1446.68035 Dillig, Isil (ed.) et al., Verification, model checking, and abstract interpretation. 19th international conference, VMCAI 2018, Los Angeles, CA, USA, January 7–9, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10747, 452-473 (2018). MSC: 68N30 06A15 68Q55 PDF BibTeX XML Cite \textit{F. Ranzato}, Lect. Notes Comput. Sci. 10747, 452--473 (2018; Zbl 1446.68035) Full Text: DOI arXiv Link OpenURL
Ranzato, Francesco Pseudocomplements of closure operators on posets. (English) Zbl 1003.06002 Discrete Math. 248, No. 1-3, 143-155 (2002). Reviewer: Renata Majovská (Horní Suchá) MSC: 06A15 06A12 06B35 06D15 06A06 PDF BibTeX XML Cite \textit{F. Ranzato}, Discrete Math. 248, No. 1--3, 143--155 (2002; Zbl 1003.06002) Full Text: DOI OpenURL
Ranzato, F. A counterexample to a result concerning closure operators. (English) Zbl 1001.06007 Port. Math. (N.S.) 58, No. 1, 121-125 (2001). MSC: 06A15 06B23 06A06 PDF BibTeX XML Cite \textit{F. Ranzato}, Port. Math. (N.S.) 58, No. 1, 121--125 (2001; Zbl 1001.06007) Full Text: EuDML OpenURL
Ranzato, Francesco Closures on CPOs form complete lattices. (English) Zbl 1004.06007 Inf. Comput. 152, No. 2, 236-249 (1999). MSC: 06A15 06B35 68Q55 06B23 PDF BibTeX XML Cite \textit{F. Ranzato}, Inf. Comput. 152, No. 2, 236--249 (1999; Zbl 1004.06007) Full Text: DOI Link OpenURL
Giacobazzi, Roberto; Ranzato, Francesco; Scozzari, Francesca Building complete abstract interpretations in a linear logic-based setting. (English) Zbl 0912.03016 Levi, Giorgio (ed.), Static analysis. 5th international symposium, SAS ’98, Pisa, Italy, September 14–16, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1503, 215-229 (1998). MSC: 03B70 68Q55 03G25 68N17 06F05 06A15 PDF BibTeX XML Cite \textit{R. Giacobazzi} et al., Lect. Notes Comput. Sci. 1503, 215--229 (1998; Zbl 0912.03016) OpenURL
Giacobazzi, R.; Palamidessi, C.; Ranzato, F. Weak relative pseudo-complements of closure operators. (English) Zbl 0901.06003 Algebra Univers. 36, No. 3, 405-412 (1996). Reviewer: R.Halaš (Olomouc) MSC: 06A15 06B23 06A12 06D15 PDF BibTeX XML Cite \textit{R. Giacobazzi} et al., Algebra Univers. 36, No. 3, 405--412 (1996; Zbl 0901.06003) Full Text: DOI OpenURL