Publication:3819993
From MaRDI portal
zbMath0667.68043MaRDI QIDQ3819993
Nachum Dershowitz, Mitsuhiro Okada, G. Sivakumar
Publication date: 1988
satisfaction; confluence; rewriting; Noetherian property; conditional rewrite systems; predicate calculus with equality; join systems; Knuth-Bendix critical pairs; reducibility relation
68Q65: Abstract data types; algebraic specification
Related Items
Reachability analysis over term rewriting systems, On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems, Conditional linearization, A rationale for conditional equational programming, Termination proofs by multiset path orderings imply primitive recursive derivation lengths, Proving termination of (conditional) rewrite systems. A semantic approach, Completeness results for basic narrowing, Perpetuality and uniform normalization in orthogonal rewrite systems, Implicit induction in conditional theories, An improved general path order, Logicality of conditional rewrite systems, Shallow confluence of conditional term rewriting systems, Structures for abstract rewriting