Properties of Input-Consuming Derivations

DOI10.1017/S1471068401001326zbMATH Open1087.68518OpenAlexW2134729504MaRDI QIDQ4452613FDOQ4452613

Authors Annalisa Bossi, Sabina Rossi, Sandro Etalle

Publication date 1 March 2004

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL http://journals.cambridge.org/action/displayIssue?jid=TLP&volumeId=2&issueId=02

zbMATH Keywords

dynamic schedulingtermination

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1497819
• Input-Termination of Logic Programs
• Program Development in Computational Logic
• Termination of simply moded logic programs with dynamic scheduling
• Semantics of well-moded input consuming logic programs

Cited in

(1)

• scientific article; zbMATH DE number 1696796 (Why is no real title available?)

This page was built for publication: Properties of Input-Consuming Derivations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4452613)