scientific article
From MaRDI portal
Publication:3675552
zbMath0562.68068MaRDI QIDQ3675552
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Data structures (68P05) Equational classes, universal algebra in model theory (03C05)
Related Items (4)
Unification in combinations of collapse-free regular theories ⋮ History and basic features of the critical-pair/completion procedure ⋮ Equational completion in order-sorted algebras ⋮ Tools for proving inductive equalities, relative completeness, and \(\omega\)-completeness
This page was built for publication:
