|
|
Publications in Math-Net.Ru |
Citations |
|
1989 |
1. |
A. J. Kfoury, A. P. Stolboushkin, P. Urzyczyn, “Some open questions in the theory of program schemes and dynamic logics”, Uspekhi Mat. Nauk, 44:1(265) (1989), 35–55 ; Russian Math. Surveys, 44:1 (1989), 43–68 |
3
|
|
1986 |
2. |
A. K. Ailamazyan, M. M. Gilula, A. P. Stolboushkin, G. F. Schwartz, “Reduction of a relational model with infinite domains to the case of finite domains”, Dokl. Akad. Nauk SSSR, 286:2 (1986), 308–311 |
|
1984 |
3. |
A. P. Stolboushkin, “The expressive power of indeterminism in program logics”, Dokl. Akad. Nauk SSSR, 277:1 (1984), 51–53 |
4. |
A. P. Stolboushkin, “On the expressive power of some dynamic logics”, Mat. Sb. (N.S.), 125(167):3(11) (1984), 410–419 ; Math. USSR-Sb., 53:2 (1986), 411–419 |
1
|
|
|
|
2013 |
5. |
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 |
|
|
|