Stepan L. Kuznetsov, “A $\Pi^0_1$-bounded fragment of infinitary action logic with exponential”, Lecture Notes in Computer Science, 2020, том 12300, страницы 3

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, 2020, том 12300, страницы 3–16
DOI: https://doi.org/10.1007/978-3-030-62077-6_1 (Mi lncs43)

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

A $\Pi^0_1$-bounded fragment of infinitary action logic with exponential

Stepan L. Kuznetsov^ab

^a Steklov Mathematical Institute of RAS, Moscow, Russia
^b National Research University Higher School of Economics, Moscow, Russia

DOI: https://doi.org/10.1007/978-3-030-62077-6_1

Финансовая поддержка	Номер гранта
Министерство образования и науки Российской Федерации	5–100 MK-430.2019.1
Конкурс «Молодая математика России»
Российский фонд фундаментальных исследований	20-01-00435
Research work towards this paper was supported by the HSE University Basic Research Program funded by the Russian Academic Excellence Project ‘5–100,’ by grant MK-430.2019.1 of the President of Russia, by the Young Russian Mathematics Award, and by the Russian Foundation for Basic Research grant 20-01-00435.

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

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

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

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

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

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

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

Статистика просмотров:
Страница аннотации:	156

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