scientific article
From MaRDI portal
Publication:3210187
zbMath0722.68070MaRDI QIDQ3210187
Nachum Dershowitz, David Alan Plaisted
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (18)
Extended term rewriting systems ⋮ Conditional rewriting logic: Deduction, models and concurrency ⋮ Confluence of the disjoint union of conditional term rewriting systems ⋮ Compiling concurrent rewriting onto the Rewrite Rule Machine ⋮ Narrowing and unification in functional programming —An evaluation mechanism for absolute set abstraction ⋮ More problems in rewriting ⋮ Simplifying conditional term rewriting systems: Unification, termination and confluence ⋮ Equation solving in conditional AC-theories ⋮ An abstract concurrent machine for rewriting ⋮ Local confluence of conditional and generalized term rewriting systems ⋮ Equational completion in order-sorted algebras ⋮ A rationale for conditional equational programming ⋮ Elimination of conditions ⋮ Towards a foundation of completion procedures as semidecision procedures ⋮ C-expressions: A variable-free calculus for equational logic programming ⋮ Programming with narrowing: a tutorial ⋮ Schematization of infinite sets of rewrite rules generated by divergent completion processes ⋮ Deductive and inductive synthesis of equational programs
This page was built for publication:
