scientific article; zbMATH DE number 1420806

MaRDI QIDQ4944870zbMATH OpenFDO

Authors Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault

Publication date 22 March 2000

zbMATH Keywords

\(\lambda\)Prolog programsnormalized programstransfer functions

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17) Theory of compilers and interpreters (68N20)

Recommendations

• scientific article; zbMATH DE number 1223558
• scientific article; zbMATH DE number 1696600
• scientific article; zbMATH DE number 516993
• Analyzing logic programs using “prop”-ositional logic programs and a magic wand
• Publication:4939275

Cited in

(6)

• scientific article; zbMATH DE number 1696600 (Why is no real title available?)
• scientific article; zbMATH DE number 1223558 (Why is no real title available?)
• scientific article; zbMATH DE number 549957 (Why is no real title available?)
• scientific article; zbMATH DE number 572196 (Why is no real title available?)
• scientific article; zbMATH DE number 1497841 (Why is no real title available?)
• scientific article; zbMATH DE number 1406237 (Why is no real title available?)

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