Obtaining Finite Local Theory Axiomatizations via Saturation.

Matthias Horbach Viorica Sofronie-Stokkermans

Published in: FroCos (2013)

Keyphrases

general theory
equational theories
theoretical basis
case study
data structure
finite number
databases
machine learning
search algorithm
probabilistic model
conceptual framework