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

DOI: https://doi.org/10.1007/978-3-030-90138-7_1

Финансовая поддержка	Номер гранта
Engineering and Physical Sciences Research Council	EP/R006865/1
Научный фонд НИУ ВШЭ	21-04-027
Министерство науки и высшего образования Российской Федерации	MK-1184.2021.1.1
Российский фонд фундаментальных исследований	20-01-00435
The work of Max Kanovich was partially supported by EPSRC Programme Grant EP/R006865/1: “Interface Reasoning for Interacting Systems (IRIS).” The part by Stepan G. Kuznetsov was prepared within the framework of the Academic Fund Program at HSE University in 2021–2022 (grant № 21-04-027). The work of Stepan L. Kuznetsov and the early part of the work of Andre Scedrov (until July 2020) was performed within the framework of the HSE University Basic Research Program. The work of Stepan L. Kuznetsov was also partially supported by the Council of the President of Russia for Support of Young Russian Researchers and Leading Research Schools of the Russian Federation (grant MK-1184.2021.1.1) and by the Russian Foundation for Basic Research (grant № 20-01-00435).

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

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

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

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

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