On the Completeness of the Traced Monoidal Category Axioms in (Rel, +).

Published in: Acta Cybern. (2017)

Keyphrases

equational theories
knowledge base
object categories
data quality
theorem proving
computer vision
website
first order logic
data sets
multiresolution
hierarchical structure