scientific article; zbMATH DE number 549952

MaRDI QIDQ4287469zbMATH OpenFDO

Authors María Alpuente, M. Falaschi

Publication date 6 May 1994

zbMATH Keywords

constraint satisfactionequational logic programmingHorn equational theoryincremental constraint solvernarrowing

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Incremental constraint satisfaction for equational logic programming
• On narrowing, refutation proofs and constraints
• scientific article; zbMATH DE number 826301
• Basic narrowing revisited
• scientific article; zbMATH DE number 3921947

Cited in

(8)

• Termination of narrowing revisited
• Incremental constraint satisfaction for equational logic programming
• Involution narrowing algebra
• scientific article; zbMATH DE number 512906 (Why is no real title available?)
• scientific article; zbMATH DE number 1502127 (Why is no real title available?)
• scientific article; zbMATH DE number 1761889 (Why is no real title available?)
• scientific article; zbMATH DE number 826301 (Why is no real title available?)
• On narrowing, refutation proofs and constraints

Describes a project that uses

Uses Software

• Kernel-LEAF
• BABEL

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