On optimization of monadic logic programs

MaRDI QIDQ2932827zbMATH OpenFDO

Authors Sh. Khachatryan

Publication date 9 December 2014

zbMATH Keywords

transformationtermination

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• On termination of functional symbol-free logic programs
• Transformations of logic programs with goals as arguments
• Monadic logic programs and functional complexity
• scientific article; zbMATH DE number 408800
• Transformations of logic programs

Cited in

(3)

• On termination of functional symbol-free logic programs
• A fast consequence recognition algorithm for monadic logical programs
• scientific article; zbMATH DE number 4097355 (Why is no real title available?)

This page was built for publication: On optimization of monadic logic programs

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