scientific article
From MaRDI portal
Publication:3957974
zbMath0494.68087MaRDI QIDQ3957974
No author found.
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
bibliographyterm rewriting systemscomputational logicunification theoryunitary theoriesunification algorithmslocally unitary theoriessurvey of the principal results
Mechanization of proofs and logical operations (03B35) Equational logic, Mal'tsev conditions (08B05) Equational classes, universal algebra in model theory (03C05) Equational compactness (08A45)
Related Items (4)
History and basic features of the critical-pair/completion procedure ⋮ Generalized subsumption and its applications to induction and redundancy ⋮ Unification of infinite sets of terms schematized by primal grammars ⋮ The complexity of counting problems in equational matching
This page was built for publication:
