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