scientific article; zbMATH DE number 773980

MaRDI QIDQ4839030zbMATH OpenFDO

Authors Lutz Plümer

Publication date 13 July 1995

zbMATH Keywords

concurrent logic programsGuarded Horn Clauses

Mathematics Subject Classification ID

Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 970706
• Termination proofs for logic programs
• Automated termination proofs for logic programs by term rewriting
• scientific article; zbMATH DE number 868104
• Automated Termination Analysis for Logic Programs by Term Rewriting

Cited in

(4)

• Making exhaustive search programs deterministic
• Verifying termination and error-freedom of logic programs with block declarations
• scientific article; zbMATH DE number 1497820 (Why is no real title available?)
• -Universal termination of logic programs

This page was built for publication:

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