Stolboushkin A P

Publications in Math-Net.Ru

1. Some open questions in the theory of program schemes and dynamic logics
   
   Uspekhi Mat. Nauk, 44:1(265) (1989),  35–55
2. Reduction of a relational model with infinite domains to the case of finite domains
   
   Dokl. Akad. Nauk SSSR, 286:2 (1986),  308–311
3. The expressive power of indeterminism in program logics
   
   Dokl. Akad. Nauk SSSR, 277:1 (1984),  51–53
4. On the expressive power of some dynamic logics
   
   Mat. Sb. (N.S.), 125(167):3(11) (1984),  410–419


5. Mikhail Abramovich Taitslin (1936–2013)
   
   Sib. Èlektron. Mat. Izv., 10 (2013),  54–65