RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
 
Kanovich, Max

Statistics Math-Net.Ru
Presentations: 2

Number of views:
This page:64
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
2019
1. Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “Undecidability of a Newly Proposed Calculus for CatLog3”, Lecture Notes in Comput. Sci., 11668 (2019),  67–83  mathnet  mathscinet  scopus
2. Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit”, Lecture Notes in Comput. Sci., 11541 (2019),  373–391  mathnet  mathscinet  scopus
3. Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “The complexity of multiplicative-additive Lambek calculus: 25 years later”, Lecture Notes in Comput. Sci., 11541 (2019),  356–372  mathnet  mathscinet  scopus
4. Max Kanovich, Stepan Kuznetsov, Vivek Nigam, Andre Scedrov, “Subexponentials in non-commutative linear logic”, Math. Structures Comput. Sci., 29:8 (2019),  1217–1249  mathnet  mathscinet  isi  scopus
2018
5. Glyn Morrill, Stepan Kuznetsov, Max Kanovich, Andre Scedrov, “Bracket induction for the Lambek calculus with bracket modalities”, Lecture Notes in Comput. Sci., 10950 (2018),  84–101  mathnet  mathscinet  scopus
6. Max Kanovich, Stepan Kuznetsov, Vivek Nigam, Andre Scedrov, “A logical framework with commutative and non-commutative subexponentials”, Lecture Notes in Comput. Sci., 10900 (2018),  228–245  mathnet  mathscinet  isi  scopus
2017
7. Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “Undecidability of the Lambek calculus with subexponential and bracket modalities”, Lecture Notes in Comput. Sci., 10472 (2017),  326–340  mathnet  mathscinet  scopus
2016
8. Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “Undecidability of the Lambek calculus with a relevant modality”, Lecture Notes in Comput. Sci., 9804 (2016),  240–256  mathnet  mathscinet  zmath  elib  scopus
9. M. Kanovich, S. Kuznetsov, A. Scedrov, “On Lambek's restriction in the presence of exponential modalities”, Lecture Notes in Comput. Sci., 9537 (2016),  146–158  mathnet  mathscinet  zmath  isi  elib  scopus

Presentations in Math-Net.Ru
1. Resource reasoning in program analysis
M. Kanovich
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
Max Kanovich
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, 2020