Unification of quantified terms.

John Staples Peter J. Robinson

Published in: Graph Reduction (1986)

Keyphrases

higher order
data sets
website
three dimensional
bayesian networks
optimal solution
pairwise
user interface