scientific article; zbMATH DE number 4191131

MaRDI QIDQ3210187zbMATH OpenFDO

Authors Nachum Dershowitz, David A. Plaisted

Publication date 1988

zbMATH Keywords

functional programmingrewritingnarrowingconfluency

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of programming languages (68N15) Logic programming (68N17) Grammars and rewriting systems (68Q42)

Recommendations

• A rationale for conditional equational programming
• An approach to declarative programming based on a rewriting logic
• scientific article; zbMATH DE number 4037157
• Logic programming with equations
• scientific article; zbMATH DE number 125880

Cited in

(24)

• Local confluence of conditional and generalized term rewriting systems
• Compiling concurrent rewriting onto the Rewrite Rule Machine
• scientific article; zbMATH DE number 845924 (Why is no real title available?)
• More problems in rewriting
• scientific article; zbMATH DE number 4037157 (Why is no real title available?)
• Narrowing and unification in functional programming —An evaluation mechanism for absolute set abstraction
• Deductive and inductive synthesis of equational programs
• Equational completion in order-sorted algebras
• scientific article; zbMATH DE number 622677 (Why is no real title available?)
• Schematization of infinite sets of rewrite rules generated by divergent completion processes
• Elimination of conditions
• A rationale for conditional equational programming
• C-expressions: A variable-free calculus for equational logic programming
• scientific article; zbMATH DE number 4123701 (Why is no real title available?)
• Programming with narrowing: a tutorial
• Extended term rewriting systems
• An abstract concurrent machine for rewriting
• scientific article; zbMATH DE number 5572668 (Why is no real title available?)
• Ternary Equational Languages
• Towards a foundation of completion procedures as semidecision procedures
• Confluence of the disjoint union of conditional term rewriting systems
• Conditional rewriting logic: Deduction, models and concurrency
• Simplifying conditional term rewriting systems: Unification, termination and confluence
• Equation solving in conditional AC-theories

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