Login / Signup
On f-derivations of lattice implication algebras.
Yong Ho Yon
Kyung Ho Kim
Published in:
Ars Comb. (2013)
Keyphrases
</>
boolean algebra
distributive lattices
lattice structure
inference rules
algebraic structure
lattice theory
horn clauses
databases
spatial reasoning
concept lattice
knowledge representation
functional dependencies
evolutionary algorithm
optimal solution
image processing
lattice points
computer vision