Algebra i logika, Tome 39 (2000) no. 4, pp. 480-504
Citer cet article
Yu. V. Nagrebetskaya. On the decidability of first-order theories of groups and monoids of integer-valued matrices. Algebra i logika, Tome 39 (2000) no. 4, pp. 480-504. http://geodesic.mathdoc.fr/item/AL_2000_39_4_a5/
@article{AL_2000_39_4_a5,
author = {Yu. V. Nagrebetskaya},
title = {On the decidability of first-order theories of groups and monoids of integer-valued matrices},
journal = {Algebra i logika},
pages = {480--504},
year = {2000},
volume = {39},
number = {4},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/AL_2000_39_4_a5/}
}
TY - JOUR
AU - Yu. V. Nagrebetskaya
TI - On the decidability of first-order theories of groups and monoids of integer-valued matrices
JO - Algebra i logika
PY - 2000
SP - 480
EP - 504
VL - 39
IS - 4
UR - http://geodesic.mathdoc.fr/item/AL_2000_39_4_a5/
LA - ru
ID - AL_2000_39_4_a5
ER -
%0 Journal Article
%A Yu. V. Nagrebetskaya
%T On the decidability of first-order theories of groups and monoids of integer-valued matrices
%J Algebra i logika
%D 2000
%P 480-504
%V 39
%N 4
%U http://geodesic.mathdoc.fr/item/AL_2000_39_4_a5/
%G ru
%F AL_2000_39_4_a5