scientific article; zbMATH DE number 3890698

MaRDI QIDQ3347254zbMATH OpenFDO

Authors

Publication date 1984

zbMATH Keywords

logic programmingPRIMLOGPROLOGrecursion partition

Mathematics Subject Classification ID

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

Recommendations

• Transformations of logic programs
• Transformations of logic programs
• Transformations of logic programs with goals as arguments
• Basic transformation operations which preserve computed answer substitutions of logic programs
• scientific article; zbMATH DE number 4057010

Cited in

(8)

• Relating logic programs via program maps
• scientific article; zbMATH DE number 4028939 (Why is no real title available?)
• scientific article; zbMATH DE number 4057010 (Why is no real title available?)
• scientific article; zbMATH DE number 4080965 (Why is no real title available?)
• scientific article; zbMATH DE number 1292287 (Why is no real title available?)
• scientific article; zbMATH DE number 1984514 (Why is no real title available?)
• Logic Programming
• Transformations 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 Q3347254)