Consistency of Equational Enrichments.

Valentin M. Antimirov Anatoli Degtyarev

Published in: LPAR (1992)

Keyphrases

meta analysis
theorem proving
consistency checking
temporal consistency
neural network
real world
data mining
equational theories
data sets
information retrieval
decision making
decision trees
case study
database systems
bayesian networks
maintaining consistency