|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Algebras, Diagrams and Decisions in Language, Logic and Computationсборник
- Год издания: 2002
- Серия: CSLI Lecture Notes
- Том: 144
- Коллективная монография
- Место издания: CSLI Publications Stanford University
- Добавил в систему: Золин Евгений Евгеньевич
Статьи, опубликованные в сборнике
-
- 2002 Unified Semantics for Modality and Lambda-terms via Proof Polynomials
- Artemov Sergei
- в сборнике Algebras, Diagrams and Decisions in Language, Logic and Computation, серия CSLI Lecture Notes, место издания CSLI Publications Stanford University, том 144, с. 89-118