1 citations · 1 across the 8 of their papers we have counts for
1 paper · 2 filters
Mohammad Abdulla, Johannes Hirth, Gerd Stumme
We introduce the Birkhoff completion as the smallest distributive lattice in which a given finite lattice can be embedded as semi-lattice. We discuss its relationship to implicatio…