scientific article
From MaRDI portal
Publication:3678694
zbMath0564.68062MaRDI QIDQ3678694
No author found.
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
surveybibliographyterm rewriting systemscomputational logicunification theoryunitary theoriesunification algorithmslocally unitary theories
Mechanization of proofs and logical operations (03B35) Equational logic, Mal'tsev conditions (08B05) Equational classes, universal algebra in model theory (03C05) Equational compactness (08A45)
We Found 3 Related Items (max. 100)
The number of proof lines and the size of proofs in first order logic ⋮ Completion for rewriting modulo a congruence ⋮ Unification problem in equational theories
This page was built for publication: