Equational Unification by Variant Narrowing (Extended Abstract).

Santiago Escobar José Meseguer Ralf Sasse

Published in: UNIF (2008)

Keyphrases

extended abstract
equational theories
theorem proving
theorem prover
automated theorem proving
higher order
databases
clustering algorithm
inference rules
viewpoint
end users
database
artificial neural networks
object recognition
multi agent systems
data streams
data sets