|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Proceedings of the 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13–17, 1998сборник
- Год издания: 1998
- Серия: Lecture Notes in Computer Science
- Том: 1443
- Место издания: Springer-Verlag Berlin
- Добавил в систему: Захаров Владимир Анатольевич
Статьи, опубликованные в сборнике
-
- 1998 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, место издания Springer-Verlag Berlin, том 1443, с. 247-259