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
Cet article a éte moissonné depuis la source Math-Net.Ru
@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/}
}
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/