Conditional narrowing modulo a set of equations

DOI10.1007/BF01202035MaRDI QIDQ1261194zbMATH OpenFDO

Authors Alexander Bockmayr

Publication date 31 August 1993

Published in Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)

zbMATH Keywords

functional programmingconstraint logic programmingconditional rewriting\(E\)-unification

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• A rationale for conditional equational programming
• Narrowing and rewriting logic: from foundations to applications
• scientific article; zbMATH DE number 3930372
• Higher order conditional rewriting and narrowing
• Variant narrowing and equational unification

Cites work

• scientific article; zbMATH DE number 3870640 (Why is no real title available?)
• scientific article; zbMATH DE number 4164122 (Why is no real title available?)
• scientific article; zbMATH DE number 3817070 (Why is no real title available?)
• scientific article; zbMATH DE number 3921957 (Why is no real title available?)
• scientific article; zbMATH DE number 3930372 (Why is no real title available?)
• scientific article; zbMATH DE number 3938563 (Why is no real title available?)
• scientific article; zbMATH DE number 3945331 (Why is no real title available?)
• scientific article; zbMATH DE number 3990847 (Why is no real title available?)
• scientific article; zbMATH DE number 4047068 (Why is no real title available?)
• scientific article; zbMATH DE number 4053008 (Why is no real title available?)
• scientific article; zbMATH DE number 4053061 (Why is no real title available?)
• scientific article; zbMATH DE number 3688776 (Why is no real title available?)
• scientific article; zbMATH DE number 3702108 (Why is no real title available?)
• scientific article; zbMATH DE number 18651 (Why is no real title available?)
• scientific article; zbMATH DE number 193539 (Why is no real title available?)
• scientific article; zbMATH DE number 4113971 (Why is no real title available?)
• A rationale for conditional equational programming
• Associative-commutative reduction orderings
• Complete Sets of Reductions for Some Equational Theories
• Completeness results for basic narrowing
• Completion of a Set of Rules Modulo a Set of Equations
• Conditional rewrite rules
• Foundations of equational logic programming
• Proving termination with multiset orderings
• Simplifying conditional term rewriting systems: Unification, termination and confluence
• Termination of rewriting systems by polynomial interpretations and its implementation
• Termination orderings for associative-commutative rewriting systems

Cited in

(12)

• On narrowing, refutation proofs and constraints
• Strict coherence of conditional rewriting modulo axioms
• Higher order conditional rewriting and narrowing
• An implementation of narrowing
• Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude
• Strategies in conditional narrowing modulo SMT plus axioms
• scientific article; zbMATH DE number 3930372 (Why is no real title available?)
• Narrowing and rewriting logic: from foundations to applications
• Sentence-normalized conditional narrowing modulo in rewriting logic and Maude
• Variant narrowing and equational unification
• Complete symbolic reachability analysis using back-and-forth narrowing
• Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols

Describes a project that uses

Uses Software

• REVE

This page was built for publication: Conditional narrowing modulo a set of equations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1261194)