CEC: A System for the Completion of Conditional Equational Specifications.

Hubert Bertling Harald Ganzinger Renate Schäfers

Published in: ESOP (1988)

Keyphrases

theorem proving
high level
random field model
delay insensitive
equational theories
specification language
formal specification
data mining
bounded model checking
theorem prover
multiscale
case study
conditional probabilities
first order logic
data structure
bayesian networks
database systems
data sets