Logic Programming

DOI10.1007/B99475MaRDI QIDQ5313208zbMATH OpenOpenAlexFDO

Authors Jan-Georg Smaus

Publication date 26 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b99475

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Termination of simply moded logic programs with dynamic scheduling
• scientific article; zbMATH DE number 1692954
• Termination of logic programs: the never-ending story
• Input-Termination of Logic Programs
• Program Development in Computational Logic

Cited in

(12)

• Semantics of well-moded input consuming logic programs
• scientific article; zbMATH DE number 1692954 (Why is no real title available?)
• scientific article; zbMATH DE number 4191092 (Why is no real title available?)
• scientific article; zbMATH DE number 1948416 (Why is no real title available?)
• Classes of terminating logic programs
• Termination of constraint logic programs
• Termination of logic programs with delay declarations
• A dynamic approach to characterizing termination of general logic programs
• Termination of simply moded logic programs with dynamic scheduling
• Inferring non-suspension conditions for logic programs with dynamic scheduling
• Reasoning in Dynamic Logic about Program Termination
• Program Development in Computational Logic

This page was built for publication: Logic Programming

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