A necessary condition for constructive negation in constraint logic programming

  • Authors:
  • Agostino Dovier;Enrico Pontelli;Gianfranco Rossi

  • Affiliations:
  • -;-;-

  • Venue:
  • Information Processing Letters
  • Year:
  • 2000

Quantified Score

Hi-index 0.89

Visualization

Abstract