Geodesic
On directed transformations of formulas
Matematičeskie zametki, Tome 6 (1969) no. 6, pp. 663-668 
Yu. I. Yanov. On directed transformations of formulas. Matematičeskie zametki, Tome 6 (1969) no. 6, pp. 663-668. http://geodesic.mathdoc.fr/item/MZM_1969_6_6_a2/
@article{MZM_1969_6_6_a2,
     author = {Yu. I. Yanov},
     title = {On directed transformations of formulas},
     journal = {Matemati\v{c}eskie zametki},
     pages = {663--668},
     year = {1969},
     volume = {6},
     number = {6},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MZM_1969_6_6_a2/}
}
TY  - JOUR
AU  - Yu. I. Yanov
TI  - On directed transformations of formulas
JO  - Matematičeskie zametki
PY  - 1969
SP  - 663
EP  - 668
VL  - 6
IS  - 6
UR  - http://geodesic.mathdoc.fr/item/MZM_1969_6_6_a2/
LA  - ru
ID  - MZM_1969_6_6_a2
ER  - 
%0 Journal Article
%A Yu. I. Yanov
%T On directed transformations of formulas
%J Matematičeskie zametki
%D 1969
%P 663-668
%V 6
%N 6
%U http://geodesic.mathdoc.fr/item/MZM_1969_6_6_a2/
%G ru
%F MZM_1969_6_6_a2

Voir la notice de l'article provenant de la source Math-Net.Ru

This studies the question of the existence of bases of systems of equalities for the unrestricted algebras employed in the problem of the minimization of terms. It is shown that for any algebra there exists a basic system of equalities with the aid of which any term can be monotonically minimized with respect to depth.