scientific article
From MaRDI portal
Publication:3753472
zbMath0612.68020MaRDI QIDQ3753472
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A proof system for conditional algebraic specifications ⋮ Completion of first-order clauses with equality by strict superposition ⋮ Priority rewriting: Semantics, confluence, and conditionals ⋮ Proofs in parameterized specifications ⋮ Sufficient completeness verification for conditional and constrained TRS ⋮ Using induction and rewriting to verify and complete parameterized specifications ⋮ Harald Ganzinger’s Legacy: Contributions to Logics and Programming ⋮ From Search to Computation: Redundancy Criteria and Simplification at Work ⋮ Conditional narrowing modulo a set of equations ⋮ On word problems in Horn theories ⋮ A completion procedure for conditional equations ⋮ Improving rewriting induction approach for proving ground confluence ⋮ Contextual rewriting as a sound and complete proof method for conditional LOG-specifications
