Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus. Termination of simply moded logic programs with dynamic scheduling. ACM Trans. Comput. Log., 5(3):470-507, 2004. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Semantics and Termination of Simply-Moded Logic Programs with Dynamic SchedulingAnnalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus. ESOP 2001: 402-416 [doi] Termination of Logic Programs with block Declarations Running in Several ModesJan-Georg Smaus, Patricia M. Hill, Andy King. plilp 1998: 73-88 [doi] Termination of Well-Moded ProgramsSandro Etalle, Annalisa Bossi, Nicoletta Cocco. jlp, 38(2):243-257, 1999. Termination of Logic Programs for Various Dynamic Selection RulesJan-Georg Smaus. ICLP 2003: 511-512 [doi]
The following publications are possibly variants of this publication: