scientific article; zbMATH DE number 4053009

zbMATH Open0645.68044MaRDI QIDQ3789062FDOQ3789062

Authors: Rachid Echahed 

Publication date: 1988

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

Recommendations

• scientific article; zbMATH DE number 4035204
• Publication:4941932
• Completeness results for basic narrowing
• A needed narrowing strategy
• Folding variant narrowing and optimal variant termination

zbMATH Keywords

reductionalgebraic specificationscompleteness of narrowing strategiesE-unifiers

Mathematics Subject Classification ID

Categories of algebras (08C05) Abstract data types; algebraic specification (68Q65)

Cited In (14)

• Incremental constraint satisfaction for equational logic programming
• Folding variant narrowing and optimal variant termination
• Completeness results for basic narrowing
• An integrated framework for the diagnosis and correction of rule-based programs
• Title not available (Why is that?)
• Detecting redundant narrowing derivations by the LSE-SL reducibility test
• On completeness of narrowing strategies
• Conditional equational theories and complete sets of transformations
• Implementation of a UU-algorithm for primitive recursive tree functions
• Regular substitution sets: A means of controlling E-unification
• Lazy narrowing in a graph machine
• A debugging scheme for functional logic programs
• An optimal narrowing strategy for general canonical systems
• Declarative debugging of functional logic programs

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