ЗМІСТ

Летичевский А.А., Годлевский А.Б., Летичевский А.А. (мл.), Потиенко С.В., Песчаненко В.С.
Свойства предикатного трансформера системы VRS

Скобелев В.В., Скобелев В.Г.
О сложности анализа автоматов над конечным кольцом

Шахбазян К.В., Шукурян Ю.Г.
Вхождения в моноидах треков

Захаров В.А.
Проверка эквивалентности программ с помощью двухленточных автоматов

Елфимова Л.Д.
Быстрые гибридные алгоритмы умножения матриц

Чеботарев А.Н.
Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L

Колчин А.В.
Автоматический метод динамического построения абстракций состояний формальной модели

Годлевский А.Б.
Предикатные преобразователи в контексте символьного моделирования транзиционных систем

Bjorner D.
Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering

Глибовец Н.Н., Гороховский С.С., Стукало М.С.
Расширение языка Scala средствами параллелизма и распределенности с помощью координационной системы Linda

Герман В.Н.
Решение линейных ограничений над полем вещественных и рациональных чисел

Лаврищева Е.М.
Формальные основы интероперабельности компонентов в программировании

Дорошенко А.Е., Котюк Н.В., Николаев С.С., Цейтлин Г.Е., Яценко Е.А.
Развитие инструментария алгебры алгоритмики с целью разработки параллельных программ с использованием эвристических средств

Львов М.С.
Полиномиальные инварианты линейных циклов

Летичевский A.А., Герман В.Н., Мороховец М.К., Щеголева Н.Н.
Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования

Мороховец М.К.
Международный симпозиум «Автоматы, алгоритмы и информационные технологии»

Коваленко И.Н.
Резензия на монографию

*****
Авторы номера 4 за 2010 г.