Scedrov Andre

Presentations in Math-Net.Ru

1. Adventures in Lambek calculus
   A. Scedrov
   Logical Perspectives 2021: Conference
   June 10, 2021 19:00   
2. Lambek calculus extended with subexponential and bracket modalities
   A. Scedrov
   Workshop on Proof Theory, Modal Logic and Reflection Principles
   October 20, 2017 10:35   
3. Multiset Rewriting with Dense Time and the Analysis of Cyber-Physical Security Protocols
   A. Scedrov
   Seminars "Proof Theory" and "Logic Online Seminar"
   December 28, 2015 18:30
4. Bounded Memory Protocols and the Unbounded Adversary
   A. Scedrov
   Symposium on logic and computability "Logic and Computation Day"
   June 7, 2013 10:00