Functorial Calculus in Monoidal Bicategories.

Published in: Appl. Categorical Struct. (2003)

Keyphrases

automated deduction
equational theories
computer algebra
artificial intelligence
relational calculus
data mining
multiscale
knowledge representation