scientific article; zbMATH DE number 4164122

zbMATH Open0708.68010MaRDI QIDQ3490928FDOQ3490928

Authors: Alexander Bockmayr 

Publication date: 1989

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

Recommendations

• scientific article
• scientific article
• 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

zbMATH Keywords

functional programminglogic programmingnarrowing

Mathematics Subject Classification ID

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

Cited In (3)

• Programming with narrowing: a tutorial
• Conditional narrowing modulo a set of equations
• 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)