scientific article; zbMATH DE number 223335

zbMATH Open0793.68034MaRDI QIDQ5285979FDOQ5285979

Authors: Jan Komorowski 

Publication date: 29 June 1993

Title of this publication is not available (Why is that?)

Recommendations

• Partial deduction for structured logic programming
• Partial deduction in disjunctive logic programming
• scientific article; zbMATH DE number 1098496
• Publication:4506395
• scientific article; zbMATH DE number 970704

zbMATH Keywords

partial deductionpartial evaluationlogic programminglaw of syllogism

Mathematics Subject Classification ID

Logic programming (68N17)

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