International Workshop “Automata, algorithms and information technologies” (Kyev, May 19-21, 2010) - сборник | ИСТИНА – Интеллектуальная Система Тематического Исследования НАукометрических данных

International Workshop “Automata, algorithms and information technologies” (Kyev, May 19-21, 2010)сборник

Год издания: 2010
Место издания: Abstracts Kiev
Сборник тезисов
Добавил в систему: Подловченко Римма Ивановна

Статьи, опубликованные в сборнике

- 2010 Equivalence checking of sequential programs using two-tape automata
- Zakharov V.A.
- в сборнике International Workshop “Automata, algorithms and information technologies” (Kyev, May 19-21, 2010), место издания Abstracts Kiev, тезисы, с. 25-25
- 2010 Finite Models and Algebraic Models of Programs
- Podlovchenko R.I.
- в сборнике International Workshop “Automata, algorithms and information technologies” (Kyev, May 19-21, 2010), место издания Abstracts Kiev, тезисы, с. 19-19