Relaxed unification--Proposal.

Tony Abou-Assaleh Nick Cercone

Published in: Appl. Math. Lett. (2003)

Keyphrases

higher order
optimal solution
theorem proving
data sets
lower bound
equational theories
database
databases
e learning
multi agent systems