Список цитирования (13)

DOI: https://doi.org/10.1007/978-3-662-53042-9_14

Финансовая поддержка	Номер гранта
Российский фонд фундаментальных исследований	15-01-09218-a 14-01-00127-a
Министерство образования и науки Российской Федерации	NSh-9091.2016.1
Engineering and Physical Sciences Research Council
Office of Naval Research
Stepan Kuznetsov’s research was supported by the Russian Foundation for Basic Research (grants 15-01-09218-a and 14-01-00127-a) and by the Undecidability of the Lambek Calculus with a Relevant Modality 255 Presidential Council for Support of Leading Scientific Schools (grant NSh-9091.2016.1). Max Kanovich’s research was partially supported by EPSRC. Andre Scedrov’s research was partially supported by ONR. This research was performed in part during visits of Stepan Kuznetsov and Max Kanovich to the University of Pennsylvania. We greatly appreciate support of the Mathematics Department of the University. A part of the work was also done during the stay of Andre Scedrov at the National Research University Higher School of Economics. We would like to thank S.O. Kuznetsov and I.A. Makarov for hosting there. The paper was prepared in part within the framework of the Basic Research Program at the National Research University Higher School of Economics (HSE) and was partially supported within the framework of a subsidy by the Russian Academic Excellence Project ‘5–100’.

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

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

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

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

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