Invariants, patterns and weights for ordering terms

  • Authors:

  • Ursula Martin;Duncan Shand

  • Affiliations:

  • Univ. of St. Andrews, St. Andrews, U.K.;Univ. of St. Andrews, St. Andrews, U.K.

  • Venue:
  • Journal of Symbolic Computation
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

Abstract