Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ЦЭМИ РАН
Главная
Поиск
Статистика
О проекте
Помощь
Provability, Complexity, Grammars
сборник
Год издания:
1999
Серия:
American Mathematical Society Translations, Series 2
Том:
192
Место издания:
Amer. Math. Soc Providence, RI
Добавил в систему:
Беклемишев Лев Дмитриевич
Статьи, опубликованные в сборнике
1999
Classification of propositional provability logics
Beklemishev L.D.
в сборнике
Provability, Complexity, Grammars
, серия
American Mathematical Society Translations, Series 2
, место издания
Amer. Math. Soc Providence, RI
, том 192, с. 1-56
1999
Lambek calculus and formal grammars
Pentus Mati
в сборнике
Provability, Complexity, Grammars
, серия
American Mathematical Society Translations, Series 2
, место издания
Amer. Math. Soc Providence, RI
, том 192, с. 57-86
1999
Relativizability in complexity theory
Vereshchagin Nikolai
в сборнике
Provability, Complexity, Grammars
, серия
American Mathematical Society Translations, Series 2
, место издания
Amer. Math. Soc Providence, RI
, том 192, с. 87-172