Ресурсы подразделения "Кафедра информатики" за 2008-й год

Валиев, М.К. и Дехтярь, М.И. (2008) Вероятностные мультиагентные системы: семантика и верификация. Вестник ТвГУ. Серия: Прикладная математика (4[11]). С. 9-22. ISSN 1995-0136

Дудаков, С.М. (2008) Эффективная трансляция расширенных <-инвариантных формул в <-ограниченные в арифметике Семенова. Вестник ТвГУ. Серия: Прикладная математика (1[8]). С. 65-75. ISSN 1995-0136

Дудаков, С.М. (2008) Эффективная трансляция расширенных <-инвариантных формул в <-ограниченные. Вестник ТвГУ. Серия: Прикладная математика (3[10]). С. 5-24. ISSN 1995-0136

Карлов, Б.Н. (2008) Нормальные формы и автоматы для категориальных грамматик зависимостей. Вестник ТвГУ. Серия: Прикладная математика (4[11]). С. 23-43. ISSN 1995-0136

Попов, И.В. (2008) О невозможности задания линейного порядка при помощи недетерминированных программ в группоидах специального вида. Вестник ТвГУ. Серия: Прикладная математика (3[10]). С. 25-36. ISSN 1995-0136

Снятков, А.С. (2008) Разрешимость теории T_f=\Th(\omega, 0, 1, <, +, f(x), F(x)). Вестник ТвГУ. Серия: Прикладная математика (2[9]). С. 39-51. ISSN 1995-0136