|
|
Publications in Math-Net.Ru |
Citations |
|
1989 |
1. |
I. Kh. Musikaev, M. A. Taitslin, “On dynamic theories of free algebras”, Mat. Sb., 180:3 (1989), 307–321 ; Math. USSR-Sb., 66:2 (1990), 313–327 |
3
|
|
1986 |
2. |
I. Kh. Musikaev, “A nondeterministic program logic”, Sibirsk. Mat. Zh., 27:6 (1986), 157–162 ; Siberian Math. J., 27:6 (1986), 914–919 |
|
|
|
2013 |
3. |
D. A. Archangelsky, B. S. Baizhanov, O. V. Belegradek, V. Ya. Belyaev, L. A. Bokut, M. K. Valiev, S. K. Vodopyanov, M. Gitik, Yu. S. Gurevich, D. O. Daderkin, A. M. Dekhtyar, M. I. Dekhtyar, A. Ya. Dikovsky, S. M. Dudakov, E. I. Zelmanov, B. I. Zilber, S. L. Krushkal, S. S. Kutateladze, Yu. V. Matiyasevich, G. E. Mints, I. Kh. Musikaev, A. K. Rebrov, Yu. G. Reshetnyak, A. L. Semenov, A. P. Stolboushkin, I. A. Taimanov, B. A. Trakhtenbrot, “Mikhail Abramovich Taitslin (1936–2013)”, Sib. Èlektron. Mat. Izv., 10 (2013), 54–65 |
|