CLAIRE: combining sets, search and rules to better express algorithms

  • Authors:
  • Yves Caseau;François-Xavier Josset;François Laburthe

  • Affiliations:
  • -;-;-

  • Venue:
  • Proceedings of the 1999 international conference on Logic programming
  • Year:
  • 1999

Quantified Score

Hi-index 0.00

Visualization

Abstract