scientific article; zbMATH DE number 4164122

MaRDI QIDQ3490928zbMATH OpenFDO

Authors Alexander Bockmayr

Publication date 1989

zbMATH Keywords

functional programminglogic programmingnarrowing

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 3870639
• scientific article; zbMATH DE number 4164191
• An implementation of narrowing
• Basic narrowing revisited
• On narrowing, refutation proofs and constraints
• Theory contraction through base contraction
• scientific article; zbMATH DE number 549993
• scientific article; zbMATH DE number 3745127
• scientific article; zbMATH DE number 4043224

Cited in

(3)

• Conditional narrowing modulo a set of equations
• Programming with narrowing: a tutorial
• An optimal narrowing strategy for general canonical systems

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