OLD resolution with tabulation

  • Authors:
  • Hisao Tamaki;Taisuke Sato

  • Affiliations:
  • -;-

  • Venue:
  • Proceedings on Third international conference on logic programming
  • Year:
  • 1986

Quantified Score

Hi-index 0.02

Visualization

Abstract