Algorithm for the verification of identities in representable algebras of arbitrary signature over a~ring
Trudy Matematicheskogo Instituta imeni V.A. Steklova, Tome 60 (2005) no. 6, pp. 1240-1241
Voir la notice de l'article provenant de la source Math-Net.Ru
@article{RM_2005_60_6_a14,
author = {A. Ya. Belov},
title = {Algorithm for the verification of identities in representable algebras of arbitrary signature over a~ring},
journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova},
pages = {1240--1241},
publisher = {mathdoc},
volume = {60},
number = {6},
year = {2005},
language = {en},
url = {http://geodesic.mathdoc.fr/item/RM_2005_60_6_a14/}
}
TY - JOUR AU - A. Ya. Belov TI - Algorithm for the verification of identities in representable algebras of arbitrary signature over a~ring JO - Trudy Matematicheskogo Instituta imeni V.A. Steklova PY - 2005 SP - 1240 EP - 1241 VL - 60 IS - 6 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/RM_2005_60_6_a14/ LA - en ID - RM_2005_60_6_a14 ER -
%0 Journal Article %A A. Ya. Belov %T Algorithm for the verification of identities in representable algebras of arbitrary signature over a~ring %J Trudy Matematicheskogo Instituta imeni V.A. Steklova %D 2005 %P 1240-1241 %V 60 %N 6 %I mathdoc %U http://geodesic.mathdoc.fr/item/RM_2005_60_6_a14/ %G en %F RM_2005_60_6_a14
A. Ya. Belov. Algorithm for the verification of identities in representable algebras of arbitrary signature over a~ring. Trudy Matematicheskogo Instituta imeni V.A. Steklova, Tome 60 (2005) no. 6, pp. 1240-1241. http://geodesic.mathdoc.fr/item/RM_2005_60_6_a14/