A Decidable Case of the Semi-Unification Problem.

Hans Leiß Fritz Henglein

Published in: MFCS (1991)

Keyphrases

databases
database systems
real world
first order logic
theorem proving
neural network
computer vision
e learning
website
transitive closure