scientific article; zbMATH DE number 4047177

MaRDI QIDQ3783620zbMATH OpenFDO

Authors David A. Plaisted

Publication date 1986

zbMATH Keywords

generalization operatorresolution

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 1066726
• Static Analysis
• scientific article; zbMATH DE number 1487857
• Abduction of generalizations
• General conditions for full abstraction
• A Generic Framework for Higher-Order Generalizations.
• scientific article; zbMATH DE number 1696597
• Automated Technology for Verification and Analysis

Cited in

(11)

• A theory of abstraction
• Feature generation using general constructor functions
• Set of support, demodulation, paramodulation: a historical perspective
• Abduction of generalizations
• scientific article; zbMATH DE number 4164177 (Why is no real title available?)
• scientific article; zbMATH DE number 4051039 (Why is no real title available?)
• scientific article; zbMATH DE number 19145 (Why is no real title available?)
• Generalization by absorption of definite clauses
• scientific article; zbMATH DE number 1066726 (Why is no real title available?)
• A new application for explanation-based generalisation within automated deduction
• scientific article; zbMATH DE number 975697 (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 Q3783620)