Linear Unification.

Mike Paterson Mark N. Wegman

Published in: J. Comput. Syst. Sci. (1978)

Keyphrases

decision making
higher order
wide range
theorem proving
linear models
real time
machine learning
website
case study
database systems
multi agent
least squares
linear programming
piecewise linear
linear complexity
optimal linear