Absolute Retracts for Finite Distributive Lattices and Slim Semimodular Lattices.

Gábor Czédli Ali Molkhasi

Published in: Order (2023)

Keyphrases

distributive lattices
boolean algebra
belief functions
general theory
mathematical theory
dempster shafer
finite automata
image processing
image analysis
theorem prover
cardinality constraints