Completeness and expressiveness for gs-monoidal categories.

Andrea Corradini Fabio Gadducci Davide Trotta

Published in: CoRR (2022)

Keyphrases

equational theories
expressive power
data sets
data mining
artificial intelligence
knowledge base
digital libraries
expert systems
data model
special case
logic programs
object categories