Столбоушкин А П

Публикации в базе данных Math-Net.Ru

1. Некоторые открытые вопросы в теории схем программ и динамических логик
   
   УМН, 44:1(265) (1989),  35–55
2. Редукция реляционной модели с бесконечными областями к случаю конечных областей
   
   Докл. АН СССР, 286:2 (1986),  308–311
3. О выразительной силе недетерминизма в логиках программ
   
   Докл. АН СССР, 277:1 (1984),  51–53
4. О выразительной силе некоторых динамических логик
   
   Матем. сб., 125(167):3(11) (1984),  410–419


5. Михаил Абрамович Тайцлин (1936–2013)
   
   Сиб. электрон. матем. изв., 10 (2013),  54–65