Conditional narrowing modulo a set of equations
type: Item
instance of: scholarly article
title: Conditional narrowing modulo a set of equations
zbMATH Open document ID: 0776.68068
DOI: 10.1007/BF01202035
author: Alexander Bockmayr
published in: Applicable Algebra in Engineering, Communication and Computing
publication date: 1993-08-31T00:00:00Z
review text: Narrowing is a universal unification procedure for equational theories given by a canonical term rewrite system. We introduce conditional narrowing modulo a set of conditional equations and give a full proof of its correctness and completeness for equational conditional rewrite systems \(R\), \(E\) without extravariables where \(E\) is regular and \(R\), \(E\) is Church-Rosser modulo \(E\) and decreasing modulo \(E\). This result can be seen as the theoretical foundation of a special form of constraint logic and functional programming.
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 404322
zbMATH Keywords: constraint logic programming
zbMATH Keywords: conditional rewriting
zbMATH Keywords: \(E\)-unification
zbMATH Keywords: functional programming
describes a project that uses: REVE
MaRDI profile type: Publication
cites work: Associative-commutative reduction orderings
cites work: Termination of rewriting systems by polynomial interpretations and its implementation
cites work: Q3894958
cites work: Q3490928
cites work: Termination orderings for associative-commutative rewriting systems
cites work: Q4729329
cites work: Q3716279
cites work: Proving termination with multiset orderings
cites work: A rationale for conditional equational programming
cites work: Q3753472
cites work: Q3789061
cites work: Foundations of equational logic programming
cites work: Q3883561
cites work: Q3703312
cites work: Completion of a Set of Rules Modulo a Set of Equations
cites work: Q3664457
cites work: Q3336736
cites work: Conditional rewrite rules
cites work: Q3709891
cites work: Simplifying conditional term rewriting systems: Unification, termination and confluence
cites work: Q3976057
cites work: Completeness results for basic narrowing
cites work: Q4040341
cites work: Q3783524
cites work: Complete Sets of Reductions for Some Equational Theories
cites work: Q3789100
cites work: Q3696496
description: scientific article; zbMATH DE number 404322