Properties of Input-Consuming Derivations

DOI10.1017/S1471068401001326zbMath1087.68518OpenAlexW2134729504MaRDI QIDQ4452613

Sandro Etalle, Sabina Rossi, Annalisa Bossi

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

terminationdynamic scheduling

Mathematics Subject Classification ID

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

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