Searching for "Inferring Termination Conditions for Logic Programs using Backwards Analysis." – 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.

Inferring Termination Conditions for Logic Programs Using Backwards Analysis
by Samir Genaim, Michael Codish — 2003 — Proceedings of the Eighth International Conference on Logic for Programming, Artificial Intelligence and Reasoning, volume 2250 of Lecture Notes in Artificial Intelligence
…Inferring Termination Conditions for Logic Programs using Backwards Analysis Samir Genaim…
Cited by 16 (1 self) – Add To MetaCart

Showing 1 through 1.

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