Анисимов А В

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

1. Технология параллельного программирования «Парус»
   
   Автомат. и телемех., 1990, № 6,  153–160
2. Рекурсивные преобразователи информации
   
   Дискрет. матем., 1:3 (1989),  3–18
3. Исследование: жизненных циклов сложных технических систем посредством сетей Петри
   
   Автомат. и телемех., 1987, № 4,  90–101
4. Отмечающие преобразователи Чёрча–Россера и разрешимые свойства обработки деревьев
   
   Докл. АН СССР, 249:5 (1979),  1033–1035
5. Об адекватности математического моделирования сложной информационно-измерительной системы
   
   Докл. АН СССР, 240:2 (1978),  287–290
6. Некоторые алгоритмические вопросы для языка Дика
   
   Докл. АН СССР, 211:3 (1973),  513–515