Inproceedings,

Narrowing Approximations as an Optimization for Equational Logic Programs.

, , , and .
PLILP, volume 714 of Lecture Notes in Computer Science, page 391-409. Springer, (1993)

Meta data

Tags

Users

  • @dblp

Comments and Reviews