RUS
ENG
Полная версия
ЖУРНАЛЫ
// Lecture Notes in Computer Science
// Архив
Lecture Notes in Comput. Sci., 2017, том 10388,
страницы
48–67
(Mi lncs15)
Эта публикация цитируется в
6
статьях
On the reflection calculus with partial conservativity operators
Lev D. Beklemishev
Steklov Mathematical Institute of the Russian Academy of Sciences, Moscow, Russia
Язык публикации:
английский
DOI:
10.1007/978-3-662-55386-2_4
Список цитирования
Реферативные базы данных:
©
МИАН
, 2024