|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
An efficient and unified approach to the decidability of equivalence of propositional program schemesстатья
- Автор: Zakharov V.A.
- Сборник: Proceedings of the 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13–17, 1998
- Серия: Lecture Notes in Computer Science
- Том: 1443
- Год издания: 1998
- Место издания: Springer-Verlag Berlin
- Первая страница: 247
- Последняя страница: 259
- Добавил в систему: Захаров Владимир Анатольевич