On the consistency problem for modular lattices and related structures.

Christian Herrmann Yasuyuki Tsukamoto Martin Ziegler

Published in: Int. J. Algebra Comput. (2016)

Keyphrases

image segmentation
closely related
artificial intelligence
knowledge base
multiresolution
special case