Login / Signup

Complete Sets of Transformations for General E-Unification.

Jean H. GallierWayne Snyder
Published in: Theor. Comput. Sci. (1989)
Keyphrases
  • special case
  • closely related
  • rough sets
  • np complete
  • theorem proving
  • horn clauses