Login / Signup
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