Плюшкявичус Регимантас

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

1. Intertible infinitary calculus without loop rules for a restricted FTL
   
   Зап. научн. сем. ПОМИ, 293 (2002),  149–180
2. Насыщенное исчисление для хорновских секвенций полной линейной темпоральной логики первого порядка
   
   Зап. научн. сем. ПОМИ, 220 (1995),  123–144
3. Об одном варианте конструктивного исчисления предикатов без структурных правил вывода
   
   Докл. АН СССР, 161:2 (1965),  292–295


4. Николай Александрович Шанин (некролог)
   
   УМН, 68:4(412) (2013),  173–176