scientific article

zbMath0666.68094MaRDI QIDQ3817653

Nachum Dershowitz, G. Sivakumar, Mitsuhiro Okada

Publication date: 1988

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

confluenceconditional term rewriting systems

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (18)

A constructor-based approach for positive/negative-conditional equational specifications ⋮ Extended term rewriting systems ⋮ Conditional rewriting logic: Deduction, models and concurrency ⋮ Proof by consistency in conditional equational theories ⋮ Confluence of the disjoint union of conditional term rewriting systems ⋮ Completion-time optimization of rewrite-time goal solving ⋮ Level-confluence of conditional rewrite systems with extra variables in right-hand sides ⋮ Confluence of terminating conditional rewrite systems revisited ⋮ Transformations of Conditional Rewrite Systems Revisited ⋮ Equation solving in conditional AC-theories ⋮ Local confluence of conditional and generalized term rewriting systems ⋮ Sufficient completeness verification for conditional and constrained TRS ⋮ A rationale for conditional equational programming ⋮ Order-sorted completion: The many-sorted way ⋮ On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems ⋮ Shallow confluence of conditional term rewriting systems ⋮ On notions of inductive validity for first-order equational clauses ⋮ Equational rules for rewriting logic

This page was built for publication: