Properties of input-consuming derivations

A Bossi*, S Rossi, S Etalle

*Corresponding author for this work

    Research output: Contribution to journalArticleAcademicpeer-review

    Original languageEnglish
    Pages (from-to)125-154
    Number of pages30
    JournalTheory and Practice of Logic Programming
    Volume2
    DOIs
    Publication statusPublished - Mar 2002

    Keywords

    • dynamic scheduling
    • termination
    • LOGIC PROGRAMS
    • DELAY DECLARATIONS
    • PROLOG PROGRAMS
    • TERMINATION
    • SEMANTICS

    Cite this