First-order unification in equational theories and its application to logic programming

  • Authors:
  • Jia-Huai You

  • Affiliations:
  • -

  • Venue:
  • First-order unification in equational theories and its application to logic programming
  • Year:
  • 1985

Quantified Score

Hi-index 0.00

Visualization

Abstract