MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Termination of Logic Programs with Delay Declarations." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

ATOM

Proving Termination of Logic Programs with Delay Declarations
by Elena Marchiori, Frank Teusink — 1995 — Proc. Twelfth International Logic Programming Symposium
…Proving Termination of Logic Programs with Delay Declarations Elena Marchiori and Frank Teusink…
Cited by 10 (2 self) – Add To MetaCart

Proving Termination of Logic Programs with Delay Declarations
by Elena Marchiori And, E. Marchiori, F. Teusink, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Elena Marchiori, Frank Teusink — 1995 — Proc. Twelfth International Logic Programming Symposium
… 20 592 9333 Telefax +31 20 592 4199 Proving Termination of Logic Programs with Delay Declarations…
Add To MetaCart

Termination of Logic Programs with block Declarations Running in Several Modes
by Jan Georg Smaus, Pat Hill, Andy King — 1998 — Proceedings of the 10th Symposium on Programming Language Implementations and Logic Programming, LNCS
…, hill@(email omitted); Abstract We show how termination of logic programs with delay declarations can…
Cited by 9 (4 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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