scientific article; zbMATH DE number 3921947

MaRDI QIDQ3696486zbMATH OpenFDO

Authors Pierre Réty, Claude Kirchner, Hélène Kirchner, Pierre Lescanne

Publication date 1985

zbMATH Keywords

algorithm for solving equations in equational theoriescompletenesscorrectness

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 512906
• Unification as a complexity measure for logic programming
• Selective Unification in (Constraint) Logic Programming*
• scientific article; zbMATH DE number 1223549
• scientific article; zbMATH DE number 826303
• Synthesis of a unification algorithm in a logic programming calculus
• Replacing unification by constraint satisfaction to improve logic program expressiveness
• Narrowing and rewriting logic: from foundations to applications
• Unifying theories for logic programming
• The narrowing-driven approach to functional logic program specialization

Cited in

(28)

• Simplifying conditional term rewriting systems: Unification, termination and confluence
• A class of confluent term rewriting systems and unification
• History and basic features of the critical-pair/completion procedure
• Narrowing vs. SLD-resolution
• Enumerating outer narrowing derivations for constructor-based term rewriting systems
• Narrowing based procedures for equational disunification
• Schematization of infinite sets of rewrite rules generated by divergent completion processes
• Three systems for cryptographic protocol analysis
• Equational formulae with membership constraints
• Basic narrowing revisited
• Kernel-LEAF: A logic plus functional language
• Unification modulo an equality theory for equational logic programming
• scientific article; zbMATH DE number 4164143 (Why is no real title available?)
• Logic and functional programming by retractions
• scientific article; zbMATH DE number 4110161 (Why is no real title available?)
• scientific article; zbMATH DE number 68600 (Why is no real title available?)
• scientific article; zbMATH DE number 549952 (Why is no real title available?)
• On Remainder Equations
• Detecting redundant narrowing derivations by the LSE-SL reducibility test
• A semantic approach to order-sorted rewriting
• On narrowing, refutation proofs and constraints
• Regular substitution sets: A means of controlling E-unification
• Optimization of rewriting and complexity of rewriting
• An optimal narrowing strategy for general canonical systems
• NARROWER
• A compositional semantic basis for the analysis of equational Horn programs
• Code selection by inversion of order-sorted derivors
• Conditional equational theories and complete sets of transformations

Describes a project that uses

Uses Software

• REVE

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