|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
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
- Том: 6
- Год издания: 2014
- Место издания: JKU Linz, Vienna, Austria
- Первая страница: 55
- Последняя страница: 61
- Добавил в систему: Захаров Владимир Анатольевич