RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
 
Scedrov Andre

В базах данных Math-Net.Ru
Лекций и докладов: 3

Статистика просмотров:
Эта страница:30
профессор
Сайт: http://www.cis.upenn.edu/~scedrov

Основные темы научной работы

logic, cybersecurity, information assurance, information privacy, computer security and privacy, cryptographic protocols, formal methods


http://www.mathnet.ru/rus/person80837
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru
1. A polynomial-time algorithm for the Lambek calculus with brackets of bounded order
Max Kanovich, Stepan Kuznetsov, Glyn Morrill, Andre Scedrov
Leibniz Internat. Proc. in Inform., 84:22 (2017),  1–17
2. Undecidability of the Lambek calculus with subexponential and bracket modalities
Max Kanovich, Stepan Kuznetsov, Andre Scedrov
Lecture Notes in Comput. Sci., 10472 (2017),  326–340
3. Undecidability of the Lambek calculus with a relevant modality
Max Kanovich, Stepan Kuznetsov, Andre Scedrov
Lecture Notes in Comput. Sci., 9804 (2016),  240–256
4. On Lambek's restriction in the presence of exponential modalities
M. Kanovich, S. Kuznetsov, A. Scedrov
Lecture Notes in Comput. Sci., 9537 (2016),  146–158

Доклады и лекции в базе данных Math-Net.Ru
1. Lambek calculus extended with subexponential and bracket modalities
A. Scedrov
Workshop on Proof Theory, Modal Logic and Reflection Principles
20 октября 2017 г. 10:35   
2. Multiset Rewriting with Dense Time and the Analysis of Cyber-Physical Security Protocols
A. Scedrov
Семинар отдела математической логики «Теория доказательств»
28 декабря 2015 г. 18:30
3. Bounded Memory Protocols and the Unbounded Adversary
A. Scedrov
Симпозиум по логике и вычислимости «Logic and Computation Day»
7 июня 2013 г. 10:00

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2018