Searching for "Tabled Evaluation With Delaying for General Logic Programs." – 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.

Tabled Evaluation with Delaying for General Logic Programs
by Weidong Chen, David S. Warren — 1996
… derivations for general logic programs. In J. Minker, editor, Foundations of Deductive Databases and Logic…
Cited by 190 (26 self) – Add To MetaCart

Fourth International Workshop on Termination WST '99
by Dagstuhl Germany, Nachum Dershowitz (urbana, Hans Zantema — 1999
… Verbaeten & Danny De Schreye Termination of Simply Moded Well-Typed Logic Programs under Tabled Execution…
Add To MetaCart

Showing 1 through 2.

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