Searching for "Inferring Argument Size Relationships with CLP(R)." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Inferring Argument Size Relationships with CLP(R)
by Florence Benoy, Andy King — 1996
…Inferring Argument Size Relationships with CLP(R) Florence Benoy and Andy King Computing…
Cited by 38 (5 self) – Add To MetaCart

Detecting and Exploiting Determinism in Logic Programs
by Pat Hill, Andy King
… Relationships with CLP(R) [3] by Benoy and King is a companion paper to [14] since it explains how to derive…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB