|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Proc. of the 28th Intern. Workshop on Unification (UNIF-2014)сборник
- Год издания: 2014
- Серия: RISC-Linz Report Series
- Том: 6
- Место издания: JKU Linz, Vienna, Austria
- Добавил в систему: Захаров Владимир Анатольевич
Статьи, опубликованные в сборнике
-
- 2014 Two-sided unification is NP-complete
- Novikova T.A., Zakharov V.A.
- в сборнике Proc. of the 28th Intern. Workshop on Unification (UNIF-2014), серия RISC-Linz Report Series, место издания JKU Linz, Vienna, Austria, том 6, с. 55-61