The Notion of Independence in Categories of Algebraic Structures, Part III: Equational Classes.

Published in: Ann. Pure Appl. Log. (1990)

Keyphrases

algebraic structures
partially ordered sets
inductive inference
theorem proving
real time
graphical models
data sets
machine learning
information retrieval
genetic algorithm
computer vision
database systems
database management
theorem prover
conditional independence