scientific article; zbMATH DE number 1420816

MaRDI QIDQ4944882zbMATH OpenFDO

Authors Wim Van Hoof, Bern Martens, Danny De Schreye, K. De Vlaminck

Publication date 22 March 2000

zbMATH Keywords

logic programs

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1222414
• Basic transformation operations which preserve computed answer substitutions of logic programs
• Publication:4506395
• Derivation of efficient logic programs by specialization and reduction of nondeterminism
• Supporting Transformations for the Partial Evaluation of Logic Programs

Cited in

(7)

• scientific article; zbMATH DE number 1696791 (Why is no real title available?)
• scientific article; zbMATH DE number 1508931 (Why is no real title available?)
• Derivation of efficient logic programs by specialization and reduction of nondeterminism
• scientific article; zbMATH DE number 1420811 (Why is no real title available?)
• Supporting Transformations for the Partial Evaluation of Logic Programs
• scientific article; zbMATH DE number 1973221 (Why is no real title available?)
• Predicate specialization for definitional higher-order 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 Q4944882)