Fast Left-Linear Semi-Unification.

Published in: ICCI (1990)

Keyphrases

real time
higher order
three dimensional
closed form
linear model
databases
artificial intelligence
decision trees
relational databases
mobile robot
theorem proving