Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “Undecidability of the Lambek calculus with subexponential and bracket modalities”, Lecture Notes in Computer Science, 2017, Volume 10472, Pages 326

Lecture Notes in Computer Science

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

Lecture Notes in Computer Science, 2017, Volume 10472, Pages 326–340
DOI: https://doi.org/10.1007/978-3-662-55751-8_26 (Mi lncs17)

This article is cited in 9 scientific papers (total in 9 papers)

Undecidability of the Lambek calculus with subexponential and bracket modalities

Max Kanovich^a, Stepan Kuznetsov^ba, Andre Scedrov^c

^a National Research University Higher School of Economics, Moscow, Russian Federation
^b Steklov Mathematical Institute, RAS, Moscow, Russian Federation
^c University of Pennsylvania, Philadelphia, USA

Citations (9)

DOI: https://doi.org/10.1007/978-3-662-55751-8_26

Funding agency	Grant number
Russian Science Foundation	17-11-01294
Russian Foundation for Basic Research	15-01-09218-a
Ministry of Education and Science of the Russian Federation	NŠ-9091.2016.1
The work of M. Kanovich and A. Scedrov was supported by the Russian Science Foundation under grant 17-11-01294 and performed at National Research University Higher School of Economics, Russia. The work of S. Kuznetsov was supported by grants RFBR 15-01-09218-a and NŠ-9091.2016.1. Sections 1 and 3 were contributed by S. Kuznetsov, Sects. 2 and 4 by M. Kanovich and A. Scedrov, and Sects. 5, 6, and 7 were contributed jointly and equally by all coauthors.

Bibliographic databases:

Document Type: Article

Language: English

Linking options:

https://www.mathnet.ru/eng/lncs17

This publication is cited in the following 9 articles:

Citing articles in Google Scholar: Russian citations, English citations
Related articles in Google Scholar: Russian articles, English articles

Statistics & downloads:
Abstract page:	104