Searching for "A Unifying View of Structural Induction and Computation Induction for Logic Programs." – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

A Unifying View of Structural Induction and Computation Induction for Logic Programs
by Laurent Fribourg, Hans Olsen
…A Unifying View of Structural Induction and Computation Induction for Logic Programs Laurent…
Add To MetaCart

Showing 1 through 1.

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