scientific article; zbMATH DE number 4035204

MaRDI QIDQ3774997zbMATH OpenFDO

Authors Peter Padawitz

Publication date 1987

zbMATH Keywords

atomic formulasChurch-Rosser propertiescompletenessHorn clause specificationinference rulesnarrowingreductionselection of redicesstrategy independenceuniformity

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 1761894
• A sequential reduction strategy
• Reduction Strategies and Acyclicity
• The power of closed reduction strategies
• Reduction in optimal control theory
• A needed narrowing strategy
• scientific article; zbMATH DE number 4053009
• On completeness of narrowing strategies
• An implementation of narrowing
• Reduction of dimensionality in choosing optimal control

Cited in

(3)

• scientific article; zbMATH DE number 4053009 (Why is no real title available?)
• scientific article; zbMATH DE number 1966921 (Why is no real title available?)
• On completeness of narrowing strategies

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