№ 2 (2013) Клещев А. С., Москаленко Ф. М. ДОКАЗАТЕЛЬСТВО КОРРЕКТНОСТИ АЛГОРИТМА РЕШЕНИЯ ЧАСТНОЙ ЗАДАЧИ МЕДИЦИНСКОЙ ДИАГНОСТИКИ
№ 1 (2013) Клещев А. С., Тимченко В. А. ОГРАНИЧЕННАЯ СИНТАКСИЧЕСКАЯ ЭКВИВАЛЕНТНОСТЬ И АДАПТИВНАЯ УНИФИКАЦИЯ ВЫРАЖЕНИЙ В РАСШИРЯЕМОЙ МОДЕЛИ МАТЕМАТИЧЕСКОГО ДИАЛЕКТА
№ 1 (2012) Клещев А. С., Тимченко В. А. Алгоритм унификации для расширяемой модели математического диалекта
№ 3 (2011) Клещев А. С., Тимченко В. А. Задача применения подстановки для расширяемой модели математического диалекта
№ 1 (2009) Клещев А. С., Смагин С. В. Некоторые свойства метода случайной расстановки границ периодов динамики