RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
 
Kanovich Max

Statistics Math-Net.Ru
Presentations: 2

Number of views:
This page:39
Website: http://www.eecs.qmul.ac.uk/~mik/

http://www.mathnet.ru/eng/person72223
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru
1. 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
2. Undecidability of the Lambek calculus with a relevant modality
Max Kanovich, Stepan Kuznetsov, Andre Scedrov
Lecture Notes in Comput. Sci., 9804 (2016),  240–256
3. 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

Presentations in Math-Net.Ru
1. Resource reasoning in program analysis
Colloquium of the Faculty of Computer Science
December 25, 2014 16:40   
2. How and Why Separation Logic is good for Resource Reasoning about Programs
International workshop "Logical Models of Reasoning and Computation"
February 2, 2012 10:45   

Organisations
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2017