Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “Undecidability of the Lambek calculus with subexponential and bracket modalities”, Lecture Notes in Computer Science, 2017, том 10472, страницы 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

	Главная страница
	О проекте
	Программное обеспечение
	Классификаторы
	Полезные ссылки
	Пользовательское соглашение

	Поиск публикаций
	Поиск ссылок

	RSS
	Текущие выпуски
	Архивные выпуски
	Что такое RSS

Lecture Notes in Computer Science, 2017, том 10472, страницы 326–340
DOI: https://doi.org/10.1007/978-3-662-55751-8_26 (Mi lncs17)

Эта публикация цитируется в 9 научных статьях (всего в 9 статьях)

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

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

Финансовая поддержка	Номер гранта
Российский научный фонд	17-11-01294
Российский фонд фундаментальных исследований	15-01-09218-a
Министерство образования и науки Российской Федерации	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.

Реферативные базы данных:

Тип публикации: Статья

Язык публикации: английский

Образцы ссылок на эту страницу:

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

Эта публикация цитируется в следующих 9 статьяx:

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

Обратная связь: