MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Termination of simply moded logic programs with dynamic scheduling." – 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.

ATOM

Termination of Simply Moded Logic Programs with Dynamic Scheduling
by Annalisa Bossi, Sandro Etalle, Cwi Amsterdam, Jan-Georg Smaus, Sabina Rossi, Università Ca, Università Ca, Foscari Venezia, Foscari Venezia, Universität Freiburg — 2004 — Transactions on Computational Logic
…Termination of Simply Moded Logic Programs with Dynamic Scheduling ANNALISA BOSSI Università Ca…
Cited by 1 (1 self) – Add To MetaCart

Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling
by Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-georg Smaus — 2001 — Proceedings of the European Symposium on Programming, volume 2028 of Lecture Notes in Computer Science
…Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling Annalisa Bossi 1…
Cited by 2 (1 self) – Add To MetaCart

Showing 1 through 2.

ATOM

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