Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
Интеллектуальная Система Тематического Исследования НАукометрических данных
Главная
Поиск
Статистика
О проекте
Помощь
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