RUS
ENG
ЖУРНАЛЫ
ПЕРСОНАЛИИ
ОРГАНИЗАЦИИ
КОНФЕРЕНЦИИ
ВИДЕОТЕКА
ЛИЧНЫЙ КАБИНЕТ
БИБЛИОТЕКА
Видеотека
Архив
Популярное видео
Поиск докладов
Для просмотра файлов Вам могут потребоваться
Поиск докладов
Ключевые слова:
в
названии
аннотации
названии ИЛИ аннотации
Авторы:
Мероприятие:
Доклады на конференциях
Доклады на научных семинарах
Общеинститутский семинар "Математика и ее приложения" Математического института им. В. А. Стеклова РАН
Общеинститутский математический семинар Санкт-Петербургского отделения Математического института им. В. А. Стеклова РАН
Заседания Санкт-Петербургского математического общества
Популярные лекции по математике, прочитанные на Малом мехмате МГУ
Лекции летней школы "Современная математика"
Разное
Время проведения:
с
по
Новые поступления:
On modal logics of linear inequalities
Clemens Kupke, Dirk Pattinson
A syntactic realization theorem for justification logics
Kai Brünnler, Remo Goetschi, Roman Kuznets
Cut-elimination and proof search for bi-intuitionistic tense logic
Rajeev Goré, Linda Postniece, Alwen Tiu
Iterating model transformers: cycles and fixed points, paradoxes and learning
Alexandru Baltag
Future event logic – axioms and complexity
Hans van Ditmarsch, Tim French, Sophie Pinchinat
Обратная связь:
math-net2010_09®mi.ras¸ru
Пользовательское соглашение
Регистрация
©
Математический институт им. В. А. Стеклова РАН
, 2010
©
Российская академия наук, Отделение математических наук
, 2010
Пользовательское соглашение
Регистрация