Publication:3785921
From MaRDI portal
zbMath0643.68031MaRDI QIDQ3785921
Publication date: 1986
algebraic specifications; term rewriting systems; sufficient completeness; anti-unification; algebra of terms; convertibility
68Q60: Specification and verification (program logics, model checking, etc.)
68Q65: Abstract data types; algebraic specification
Related Items
Reachability analysis over term rewriting systems, Matching - a special case of unification?, Tools for proving inductive equalities, relative completeness, and \(\omega\)-completeness, Using induction and rewriting to verify and complete parameterized specifications, On sufficient-completeness and related properties of term rewriting systems, Equational problems and disunification, Automatic proofs by induction in theories without constructors, Specification and proof in membership equational logic, Sufficient-completeness, ground-reducibility and their complexity