Equational abstractions.

José Meseguer Miguel Palomino Narciso Martí-Oliet

Published in: Theor. Comput. Sci. (2008)

Keyphrases

theorem proving
theorem prover
equational theories
high level
real world
database
search engine
computer vision
information systems
decision trees
expert systems
algebraic properties