Equational Abstractions.

José Meseguer Miguel Palomino Narciso Martí-Oliet

Published in: CADE (2003)

Keyphrases

theorem proving
equational theories
high level
theorem prover
databases
information retrieval
bayesian networks
reinforcement learning
preprocessing
relational databases
trade off
rough sets
horn clauses