|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Proof Theory in Computer Science, International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedingsсборник
- Год издания: 2001
- Серия: Lecture Notes in Computer Science
- Том: 2183
- Место издания: Springer
- Добавил в систему: Золин Евгений Евгеньевич
Статьи, опубликованные в сборнике
-
- 2001 Reflective λ-calculus
- Artemov Sergei, Alt Jesse
- в сборнике Proof Theory in Computer Science, International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 2183, с. 22-37 DOI