Валиев Марс Котдусович

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

1. О сложности верификации недетерминированных вероятностных мультиагентных систем
   
   Модел. и анализ информ. систем, 17:4 (2010),  41–50
2. Вероятностные мультиагентные системы: семантика и верификация
   
   Вестник ТвГУ. Серия: Прикладная математика, 2008, № 11,  9–22
3. Использование службы директорий LDAP для представления метаинформации в глобальных вычислительных системах
   
   Препринты ИПМ им. М. В. Келдыша, 2000, 029
4. Cлужба директорий LDAP как инструментальное средство для создания распределенных информационных систем
   
   Препринты ИПМ им. М. В. Келдыша, 2000, 023
5. Примеры универсальных конечно-определенных групп
   
   Докл. АН СССР, 211:2 (1973),  265–268
6. О сложности проблемы тождества для конечно определенных групп
   
   Алгебра и логика, 8:1 (1969),  5–43
7. Об одной теореме Г. Хигмана
   
   Алгебра и логика, 7:3 (1968),  9–22


8. Михаил Абрамович Тайцлин (1936–2013)
   
   Сиб. электрон. матем. изв., 10 (2013),  54–65
9. Поправки к статье “Примеры универсальных конечно-определенных групп” (ДАН, т. 211, № 2, 1973 г.)
   
   Докл. АН СССР, 215:3 (1974),  10