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

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

zbMATH Keywords

dynamic schedulingtermination

Mathematics Subject Classification ID

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

Cited In (1)

• Title not available (Why is that?)

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)