Inproceedings,

Inverse Narrowing for the Induction of Functional Logic Programs

, and .
Joint Conference on Declarative Programming, page 379-392. (1998)

Meta data

Tags

Users

  • @mh

Comments and Reviews