Translation of logic programs into functional fixpoint equations

  • Authors:

  • G. Gardarin;I. Guessarian;C. de Maindreville

  • Affiliations:

  • INRIA and Univ. Paris VI, Chesnay-Ce´dex, France;INRIA and Univ. Paris VI, Chesnay-Ce´dex, France;INRIA and Univ. Paris VI, Chesnay-Ce´dex, France

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 1989

Quantified Score

Hi-index 5.23

Visualization

Abstract