|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Proceedings of the 27-th International Workshop on Unification, June 26, 2013, Eindhovenсборник
- Год издания: 2013
- Серия: EPiC Series
- Том: 123
- Добавил в систему: Захаров Владимир Анатольевич
Статьи, опубликованные в сборнике
-
- 2013 Is it possible to unify sequential programs
- Novikova T.A., Zakharov V.A.
- в сборнике Proceedings of the 27-th International Workshop on Unification, June 26, 2013, Eindhoven, серия EPiC Series, том 123, с. 36-46