scientific article; zbMATH DE number 1615257

MaRDI QIDQ2723923zbMATH OpenFDO

Authors Annalisa Bossi, Nicoletta Cocco, Sandro Etalle

Publication date 8 July 2001

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1761900
• BEYOND TAMAKI-SATO STYLE UNFOLD/FOLD TRANSFORMATIONS FOR NORMAL LOGIC PROGRAMS
• Automatic Correctness Proofs for Logic Program Transformations
• scientific article; zbMATH DE number 1487848
• Unfold/fold transformation of stratified programs

Cited in

(2)

• scientific article; zbMATH DE number 1761900 (Why is no real title available?)
• Derivation of efficient logic programs by specialization and reduction of nondeterminism

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 Q2723923)