scientific article
From MaRDI portal
Publication:3338226
zbMath0547.03025MaRDI QIDQ3338226
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
specificationsabstract data typesinitial algebraREVEcompletion algorithm for classes of equational theoriesequational term rewriting system
Mechanization of proofs and logical operations (03B35) Data structures (68P05) Equational classes, universal algebra in model theory (03C05) Thue and Post systems, etc. (03D03)
Related Items (7)
A proof system for conditional algebraic specifications ⋮ On sufficient completeness of conditional specifications ⋮ On solving the equality problem in theories defined by Horn clauses ⋮ Specification and proof in membership equational logic ⋮ Using induction and rewriting to verify and complete parameterized specifications ⋮ Building exact computation sequences ⋮ Schematization of infinite sets of rewrite rules generated by divergent completion processes
This page was built for publication:
