Ambiguous Representations of Semilattices, Imperfect Information, and Predicate Transformers

Oleh R. Nykyforchyn, Oksana Mykytsey. Ambiguous Representations of Semilattices, Imperfect Information, and Predicate Transformers. Order, 37(2):319-339, 2020. [doi]

Abstract

Abstract is missing.